diff options
| author | Gabriel Dos Reis <gdr@axiomatics.org> | 2016-02-07 22:06:29 -0800 |
|---|---|---|
| committer | Gabriel Dos Reis <gdr@axiomatics.org> | 2016-02-07 22:06:29 -0800 |
| commit | 4c8c8f82ac22278f998bc5325770b17c4e9c7fa5 (patch) | |
| tree | 20a75675bac8366909a226d6ad177a851239abd4 /config/missing | |
| parent | 57c34813bfccfd58955608f9ec5e45f4523ef655 (diff) | |
| download | open-axiom-4c8c8f82ac22278f998bc5325770b17c4e9c7fa5.tar.gz | |
Remove $NRTaddForm
Use a %CompilerData slot to hold the corresponding data during the
elaboration of a capsule.
Diffstat (limited to 'config/missing')
0 files changed, 0 insertions, 0 deletions