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 /scripts | |
| parent | 3e0bec938cf266e9051dc3b16b7c25bd1dceb2a0 (diff) | |
doc: Remove obsolete texinfo files.
Diffstat (limited to 'scripts')
0 files changed, 0 insertions, 0 deletions