diff options
| author | Glenn Morris <rgm@gnu.org> | 2011-01-15 15:16:57 -0800 |
|---|---|---|
| committer | Glenn Morris <rgm@gnu.org> | 2011-01-15 15:16:57 -0800 |
| commit | 0d9f702fd085bc8ad560a3e1f08d5e93054a5d33 (patch) | |
| tree | 8f7f07c160e5878c775fc6c2bb5ec912a164448e /config.bat | |
| parent | 2153c86209ef95a34f3a80f7a1f72d5fade18c21 (diff) | |
Nuke arch-tags.
Diffstat (limited to 'config.bat')
| -rw-r--r-- | config.bat | 3 |
1 files changed, 0 insertions, 3 deletions
diff --git a/config.bat b/config.bat index 9931d61da62..f87bcd13a5d 100644 --- a/config.bat +++ b/config.bat @@ -316,6 +316,3 @@ set djgpp_ver= set sys_malloc=
set libxml=
-goto skipArchTag
- arch-tag: 2d2fed23-4dc6-4006-a2e4-49daf0031f33
-:skipArchTag
|