diff options
| author | dos-reis <gdr@axiomatics.org> | 2013-06-23 04:29:12 +0000 |
|---|---|---|
| committer | dos-reis <gdr@axiomatics.org> | 2013-06-23 04:29:12 +0000 |
| commit | d918d0a1f78696fec489c0ad7d581f9707b13df2 (patch) | |
| tree | 31dd7bd8fff52651664aab568fb616dd6f9405fa /src/interp | |
| parent | f18f51d6c959ee88a43166d5e5898ae2e84a49fd (diff) | |
| download | open-axiom-d918d0a1f78696fec489c0ad7d581f9707b13df2.tar.gz | |
Rename the gui interface to open-axiom.
Diffstat (limited to 'src/interp')
0 files changed, 0 insertions, 0 deletions