diff options
Diffstat (limited to 'Master/tlpkg/dev/dev.merge-tlmedia-into-tlpdb-and-get-rid-of-it.README')
-rw-r--r-- | Master/tlpkg/dev/dev.merge-tlmedia-into-tlpdb-and-get-rid-of-it.README | 20 |
1 files changed, 0 insertions, 20 deletions
diff --git a/Master/tlpkg/dev/dev.merge-tlmedia-into-tlpdb-and-get-rid-of-it.README b/Master/tlpkg/dev/dev.merge-tlmedia-into-tlpdb-and-get-rid-of-it.README deleted file mode 100644 index 5392fb9ce9d..00000000000 --- a/Master/tlpkg/dev/dev.merge-tlmedia-into-tlpdb-and-get-rid-of-it.README +++ /dev/null @@ -1,20 +0,0 @@ -merge-tlmedia-into-tlpdb-and-get-rid-of-it - -purpose of this patch is to get rid of TLMedia again, as it was an -interesting idea but created only much pain due to duplications -of variables, as we always had to use the tlpdb also directly. - -This patch moves the two genuine functions from TLMedia - install_package - remove_package -and related/needed functions into TLPDB. - -In this course also the naming of the various variables has changed, now -there is only - remotetlpdb - subsuming the former tlmediatlpdb, tlmediasrc - localtlpdb - subsuming the former localtlmedia, localtlpdb - - - |