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/include | |
| parent | 2e911719fbc194387c5f2525b2f8bfbc467eb211 (diff) | |
| download | open-axiom-8358dd22eb56a1b5e46e3d1e50295d53c4504165.tar.gz | |
Do really remove the stationary directory after successful compilation.
Diffstat (limited to 'src/include')
0 files changed, 0 insertions, 0 deletions