diff options
author | Gabriel Dos Reis <gdr@axiomatics.org> | 2016-01-30 15:15:55 -0800 |
---|---|---|
committer | Gabriel Dos Reis <gdr@axiomatics.org> | 2016-01-30 15:15:55 -0800 |
commit | a99fade73c79d570956f95cb32a6b09913cca7cb (patch) | |
tree | cabaad5936432cae6716c828fee9ab117100f1ea /contrib/texmacs/Makefile | |
parent | 0e067c51279d5e82a786ad78af04ada13bd33951 (diff) | |
download | open-axiom-a99fade73c79d570956f95cb32a6b09913cca7cb.tar.gz |
Make signature definitions parts of %CompilationData.
Diffstat (limited to 'contrib/texmacs/Makefile')
0 files changed, 0 insertions, 0 deletions