diff options
| author | Charadon <dev@iotib.net> | 2022-10-05 17:13:47 -0400 |
|---|---|---|
| committer | Charadon <dev@iotib.net> | 2022-10-05 17:13:47 -0400 |
| commit | 73733275044257f26d5e6cb01af739835482e737 (patch) | |
| tree | 3b6d6dcf33bed20e6f19a882f736d41946273122 /pre.sh | |
| parent | f60854800d6f8d8ddff9afe35b9c098d7b4dd3ba (diff) | |
| download | dscip-73733275044257f26d5e6cb01af739835482e737.tar.gz | |
Remove old docs/ folder, as the GNU Info manual has already surpassed it.
Diffstat (limited to 'pre.sh')
0 files changed, 0 insertions, 0 deletions