diff options
author | dos-reis <gdr@axiomatics.org> | 2014-11-20 16:28:03 +0000 |
---|---|---|
committer | dos-reis <gdr@axiomatics.org> | 2014-11-20 16:28:03 +0000 |
commit | 8358dd22eb56a1b5e46e3d1e50295d53c4504165 (patch) | |
tree | d24e9b130c60a75a0aec6f4700f509bc4af77245 /src/graph/PS | |
parent | 2e911719fbc194387c5f2525b2f8bfbc467eb211 (diff) | |
download | open-axiom-8358dd22eb56a1b5e46e3d1e50295d53c4504165.tar.gz |
Do really remove the stationary directory after successful compilation.
Diffstat (limited to 'src/graph/PS')
0 files changed, 0 insertions, 0 deletions