about summary refs log tree commit diff stats
path: root/build.sh
diff options
context:
space:
mode:
authorCharadon <dev@iotib.net>2022-10-05 17:13:47 -0400
committerCharadon <dev@iotib.net>2022-10-05 17:13:47 -0400
commit73733275044257f26d5e6cb01af739835482e737 (patch)
tree3b6d6dcf33bed20e6f19a882f736d41946273122 /build.sh
parentf60854800d6f8d8ddff9afe35b9c098d7b4dd3ba (diff)
downloaddscip-73733275044257f26d5e6cb01af739835482e737.tar.gz
Remove old docs/ folder, as the GNU Info manual has already surpassed it.
Diffstat (limited to 'build.sh')
0 files changed, 0 insertions, 0 deletions