diff options
| author | Gaëtan Gilbert | 2019-07-02 13:02:57 +0200 |
|---|---|---|
| committer | Gaëtan Gilbert | 2019-07-03 17:05:29 +0200 |
| commit | 4f0bdf2e19f0562a6cdf3b5ac075326b6e28c1d7 (patch) | |
| tree | 9c50f7bafd5bea50478483ea75bfd54fd88550b2 /Makefile.dev | |
| parent | bb81ed23c288f21f095d80a28ed7bda7ecf1a603 (diff) | |
Move declare_universe_context to top of Declare
In preparation for the other declarations to use it.
Diffstat (limited to 'Makefile.dev')
0 files changed, 0 insertions, 0 deletions