From 403ddfb7e079a03db54ac4454b97febeee878a3c Mon Sep 17 00:00:00 2001
From: Akim Demaille <akim@lrde.epita.fr>
Date: Tue, 4 Sep 2012 10:58:23 +0200
Subject: [PATCH 1/1] maint: remove useless file

* externals/bootstrap.cfg: Remove.
This file was used by a specific build system.
It was added to the master repository by accident.
---
 externals/bootstrap.cfg | 1 -
 1 file changed, 1 deletion(-)
 delete mode 100644 externals/bootstrap.cfg

diff --git a/externals/bootstrap.cfg b/externals/bootstrap.cfg
deleted file mode 100644
index 6a0be6f7..00000000
--- a/externals/bootstrap.cfg
+++ /dev/null
@@ -1 +0,0 @@
-external: gnulib
-- 
2.45.2