aboutsummaryrefslogtreecommitdiff
path: root/bootstrap
diff options
context:
space:
mode:
authort3sserakt <t3ss@posteo.de>2021-04-25 16:02:08 +0200
committert3sserakt <t3ss@posteo.de>2021-04-25 16:02:52 +0200
commitcef6317f17a706647c0a5d5f7e52548a7130b713 (patch)
treecc29c4d4c2ae83115a313b32653757e370b88c6c /bootstrap
parent9ffa19269054bf1e569fe584c0c51a00205a735d (diff)
parentb996ba4156678b6a0a551b9a932867b2ade42344 (diff)
downloadgnunet-cef6317f17a706647c0a5d5f7e52548a7130b713.tar.gz
gnunet-cef6317f17a706647c0a5d5f7e52548a7130b713.zip
Merge branch 'master' of ssh://gnunet.org/gnunet
Diffstat (limited to 'bootstrap')
-rwxr-xr-xbootstrap2
1 files changed, 1 insertions, 1 deletions
diff --git a/bootstrap b/bootstrap
index 8fc4c4426..984c56cb3 100755
--- a/bootstrap
+++ b/bootstrap
@@ -1,7 +1,7 @@
1#!/bin/sh 1#!/bin/sh
2# 2#
3# We should use /usr/bin/env sh, but some systems are notoriously picky. 3# We should use /usr/bin/env sh, but some systems are notoriously picky.
4# In fact we could ommit this line if some automations wouldn't rely on 4# In fact we could omit this line if some automations wouldn't rely on
5# running this file via ./bootstrap. 5# running this file via ./bootstrap.
6# 6#
7# This file is in the public domain. 7# This file is in the public domain.