diff options
author | David Thompson <dthompson2@worcester.edu> | 2016-04-18 20:38:14 -0400 |
---|---|---|
committer | David Thompson <dthompson2@worcester.edu> | 2016-04-18 20:38:14 -0400 |
commit | 049964583b191f2302ff666f97ca23417b80762e (patch) | |
tree | a91b9a159934d61cf4f3937bbd7d368e3a3eb344 /INSTALL.org | |
parent | 3e0bec938cf266e9051dc3b16b7c25bd1dceb2a0 (diff) |
doc: Remove obsolete texinfo files.
Diffstat (limited to 'INSTALL.org')
0 files changed, 0 insertions, 0 deletions