diff options
Diffstat (limited to '')
| -rw-r--r-- | config/.gitignore | 2 | ||||
| -rw-r--r-- | ltmain.sh (renamed from config/ltmain.sh) | 0 | ||||
| -rw-r--r-- | m4macros/argenable.m4 (renamed from config/argenable.m4) | 0 | ||||
| -rw-r--r-- | m4macros/typecheck.m4 (renamed from config/typecheck.m4) | 0 |
4 files changed, 0 insertions, 2 deletions
diff --git a/config/.gitignore b/config/.gitignore deleted file mode 100644 index 3b93b74..0000000 --- a/config/.gitignore +++ /dev/null @@ -1,2 +0,0 @@ -config.guess -config.sub diff --git a/config/ltmain.sh b/ltmain.sh index 8e5a930..8e5a930 100644 --- a/config/ltmain.sh +++ b/ltmain.sh diff --git a/config/argenable.m4 b/m4macros/argenable.m4 index ed5d7f0..ed5d7f0 100644 --- a/config/argenable.m4 +++ b/m4macros/argenable.m4 diff --git a/config/typecheck.m4 b/m4macros/typecheck.m4 index a8a88b4..a8a88b4 100644 --- a/config/typecheck.m4 +++ b/m4macros/typecheck.m4 |