diff options
| author | Gabriel Dos Reis <gdr@axiomatics.org> | 2016-01-25 01:10:43 -0800 |
|---|---|---|
| committer | Gabriel Dos Reis <gdr@axiomatics.org> | 2016-01-25 01:10:43 -0800 |
| commit | 0093f04cb53e58151ad3bdfbff328d564ff17caf (patch) | |
| tree | 09f081e62de8e13528f1068c62e4c2d1075d4514 /src/input/ideal.input.pamphlet | |
| parent | ffe9a032601ffb59a10141bce13b4322a1584e87 (diff) | |
| download | open-axiom-0093f04cb53e58151ad3bdfbff328d564ff17caf.tar.gz | |
Misc. cleanup
Diffstat (limited to 'src/input/ideal.input.pamphlet')
0 files changed, 0 insertions, 0 deletions