diff options
-rwxr-xr-x[-rw-r--r--] | crawl-ref/dolinks.sh | 0 | ||||
-rwxr-xr-x[-rw-r--r--] | crawl-ref/domake.sh | 0 |
2 files changed, 0 insertions, 0 deletions
diff --git a/crawl-ref/dolinks.sh b/crawl-ref/dolinks.sh index e4a023d76c..e4a023d76c 100644..100755 --- a/crawl-ref/dolinks.sh +++ b/crawl-ref/dolinks.sh diff --git a/crawl-ref/domake.sh b/crawl-ref/domake.sh index 4ae1a8d6fe..4ae1a8d6fe 100644..100755 --- a/crawl-ref/domake.sh +++ b/crawl-ref/domake.sh |