diff options
| -rw-r--r-- | Master/tlpkg/archive/dev.split-desktop-integration.README (renamed from Master/tlpkg/dev/archive/dev.split-desktop-integration.README) | 0 | ||||
| -rw-r--r-- | Master/tlpkg/archive/dev.split-desktop-integration.patch (renamed from Master/tlpkg/dev/archive/dev.split-desktop-integration.patch) | 0 | ||||
| -rw-r--r-- | Master/tlpkg/archive/dev.usermode-tlmgr.README (renamed from Master/tlpkg/dev/archive/dev.usermode-tlmgr.README) | 0 | ||||
| -rw-r--r-- | Master/tlpkg/archive/dev.usermode-tlmgr.patch (renamed from Master/tlpkg/dev/archive/dev.usermode-tlmgr.patch) | 0 |
4 files changed, 0 insertions, 0 deletions
diff --git a/Master/tlpkg/dev/archive/dev.split-desktop-integration.README b/Master/tlpkg/archive/dev.split-desktop-integration.README index ee3c6005306..ee3c6005306 100644 --- a/Master/tlpkg/dev/archive/dev.split-desktop-integration.README +++ b/Master/tlpkg/archive/dev.split-desktop-integration.README diff --git a/Master/tlpkg/dev/archive/dev.split-desktop-integration.patch b/Master/tlpkg/archive/dev.split-desktop-integration.patch index 3020684ffea..3020684ffea 100644 --- a/Master/tlpkg/dev/archive/dev.split-desktop-integration.patch +++ b/Master/tlpkg/archive/dev.split-desktop-integration.patch diff --git a/Master/tlpkg/dev/archive/dev.usermode-tlmgr.README b/Master/tlpkg/archive/dev.usermode-tlmgr.README index 9f1ae445d77..9f1ae445d77 100644 --- a/Master/tlpkg/dev/archive/dev.usermode-tlmgr.README +++ b/Master/tlpkg/archive/dev.usermode-tlmgr.README diff --git a/Master/tlpkg/dev/archive/dev.usermode-tlmgr.patch b/Master/tlpkg/archive/dev.usermode-tlmgr.patch index 1ae6bbe98ed..1ae6bbe98ed 100644 --- a/Master/tlpkg/dev/archive/dev.usermode-tlmgr.patch +++ b/Master/tlpkg/archive/dev.usermode-tlmgr.patch |