summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorChristian Grothoff <christian@grothoff.org>2018-10-18 17:44:34 +0200
committerChristian Grothoff <christian@grothoff.org>2018-10-18 17:44:34 +0200
commit534c79318c9ce00c723ae6373edc31607c82836a (patch)
tree3e5fc5de533ff035a6f6bc6686a5198e76a38f08
parentee4e16d68f954562a0ec2e6ac3e7e713f281f320 (diff)
license
-rwxr-xr-xbootstrap1
1 files changed, 1 insertions, 0 deletions
diff --git a/bootstrap b/bootstrap
index 487f4817c..3155cff61 100755
--- a/bootstrap
+++ b/bootstrap
@@ -1,4 +1,5 @@
#!/bin/sh
+# This file is in the public domain.
echo "Removing folder 'libltdl'..."
rm -rf libltdl