diff options
author | Igor Pashev <pashev.igor@gmail.com> | 2022-10-29 15:05:40 +0200 |
---|---|---|
committer | Igor Pashev <pashev.igor@gmail.com> | 2022-10-29 15:05:40 +0200 |
commit | 088873fbc7f92c3d8d582f29eb44e39a136e944d (patch) | |
tree | 4daf0179be448b18778fd5d3930367e463e0ca50 /src/input/infprod.input.pamphlet | |
parent | 8df721df25864f89772c58a4486314855bf1a37e (diff) | |
download | open-axiom-088873fbc7f92c3d8d582f29eb44e39a136e944d.tar.gz |
Remove old build system
Diffstat (limited to 'src/input/infprod.input.pamphlet')
0 files changed, 0 insertions, 0 deletions