[Top][All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[PATCH 2/2] maint: remove useless file
|
From: |
Akim Demaille |
|
Subject: |
[PATCH 2/2] maint: remove useless file |
|
Date: |
Tue, 4 Sep 2012 11:01:55 +0200 |
* 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 6a0be6f..0000000
--- a/externals/bootstrap.cfg
+++ /dev/null
@@ -1 +0,0 @@
-external: gnulib
--
1.7.11.5