diff options
Diffstat (limited to 'tllocalmgr-mirror-opt.patch')
| -rw-r--r-- | tllocalmgr-mirror-opt.patch | 13 |
1 files changed, 0 insertions, 13 deletions
diff --git a/tllocalmgr-mirror-opt.patch b/tllocalmgr-mirror-opt.patch deleted file mode 100644 index 59876ed7a592..000000000000 --- a/tllocalmgr-mirror-opt.patch +++ /dev/null @@ -1,13 +0,0 @@ -diff --git a/tllocalmgr b/tllocalmgr -index b947ed2..8724243 100755 ---- a/tllocalmgr -+++ b/tllocalmgr -@@ -34,7 +34,7 @@ GetOptions( $opts, - 'forceupdate', - 'localsearch', #TODO - 'location', #TODO ? -- 'mirror', -+ 'mirror=s', - 'nocolor', - 'help|h', - 'version|v' |