diff options
| author | Gaëtan Gilbert | 2018-09-27 13:46:20 +0200 |
|---|---|---|
| committer | Gaëtan Gilbert | 2018-10-04 14:34:32 +0200 |
| commit | 6023b16dddfb043c6c80815c726936b02735c9cc (patch) | |
| tree | 4b43ce1c11443c573602aab6c7a491db8c0d9730 /Makefile.dev | |
| parent | c1e7333faab2f3b0381fc56aa69979cd80ccd75f (diff) | |
Simplify declaration of universe names
Declaring the universe to the kernel/section mechanism is centralized
to [Declare.declare_universe_context].
Then the universe name object really is only about the user visible
names.
Diffstat (limited to 'Makefile.dev')
0 files changed, 0 insertions, 0 deletions