blob: 5392fb9ce9de96102e03b603d377603dbb58a3d5 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
|
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
|
