commit f5e342ea9e752cf8ca74aaa53dab5d6efbbf81dc parent 0f393b59b3651c9d8b19ef5d1cd0d2f2255ea29c Author: Florian Dold <florian@dold.me> Date: Fri, 23 Apr 2021 11:38:43 +0200 bootstrap script Diffstat:
| A | bootstrap | | | 5 | +++++ |
1 file changed, 5 insertions(+), 0 deletions(-)
diff --git a/bootstrap b/bootstrap @@ -0,0 +1,5 @@ +#!/bin/sh + +# This bootstrap script currently does nothing, but +# is there for uniformity, since almost all our other +# repos have a bootstrap script.