diff options
| author | Ulf Magnusson <ulfalizer@gmail.com> | 2019-10-05 22:05:21 +0200 |
|---|---|---|
| committer | Ulf Magnusson <ulfalizer@gmail.com> | 2019-10-05 22:06:43 +0200 |
| commit | bc6345d7fee1a7200bef5d717d1b2d00264d9e01 (patch) | |
| tree | a89c809e325e4a850aab718e0eeab3bd28a5ba8c /allnoconfig.py | |
| parent | 8351aabf36dff1de6f2688b131f043ae1366c1ec (diff) | |
Mention that the header is sorted by definition location
Handy to know.
Diffstat (limited to 'allnoconfig.py')
0 files changed, 0 insertions, 0 deletions