diff options
author | Eduardo Julian | 2016-01-02 00:51:31 -0400 |
---|---|---|
committer | Eduardo Julian | 2016-01-02 00:51:31 -0400 |
commit | ee48a4bd1b2f2df2d2a7bb87cc18b672a13546c1 (patch) | |
tree | 7c8454f952d98fc70fd21a1e952c9707d39fadb1 /.gitignore | |
parent | b541374a65ae70d070291e6a16ea266087601362 (diff) |
- Implemented the feature of adding arbitrary meta-data to definitions.
- Implemented exports, macros, tags and aliases on top of definition meta-data (a.k.a DefMeta).
Diffstat (limited to '')
0 files changed, 0 insertions, 0 deletions