diff options
author | dos-reis <gdr@axiomatics.org> | 2010-11-05 03:18:24 +0000 |
---|---|---|
committer | dos-reis <gdr@axiomatics.org> | 2010-11-05 03:18:24 +0000 |
commit | 595d5540c7bb5ff9f70aa9e10ad3a145ef691f3b (patch) | |
tree | 0879f7a6a8543a8e9a64328ca128545a878890a8 /src/input/f04atf.input.pamphlet | |
parent | 0cc74bf1129fb0330dcd85789e179653e95c76e9 (diff) | |
download | open-axiom-595d5540c7bb5ff9f70aa9e10ad3a145ef691f3b.tar.gz |
* algebra/Makefile.pamphlet: Likewise.
* interp/Makefile.pamphlet: Remove.
Diffstat (limited to 'src/input/f04atf.input.pamphlet')
0 files changed, 0 insertions, 0 deletions