diff options
author | Gabriel Dos Reis <gdr@axiomatics.org> | 2016-01-30 22:25:56 -0800 |
---|---|---|
committer | Gabriel Dos Reis <gdr@axiomatics.org> | 2016-01-30 22:25:56 -0800 |
commit | 79f3a421e49a1b5baf5dd9bed6c2d640dac7dc95 (patch) | |
tree | a59345d0305ac847e7073e74dc031730e1fc55b4 /src/share/Makefile.in | |
parent | 04e645dc02abeaeb3102ab9c6bd149521b1282bb (diff) | |
download | open-axiom-79f3a421e49a1b5baf5dd9bed6c2d640dac7dc95.tar.gz |
writeCapsuleLevelDefinitions: don't write into the index file
Diffstat (limited to 'src/share/Makefile.in')
0 files changed, 0 insertions, 0 deletions