The ppa for Ubuntu 14.04 is still kde4...
so use the old dtd for that build.
Description
Description
Details
Details
- Committed
netterfield Mar 27 2018, 3:30 PM - Parents
- R484:1ee95631667c: Remove some obsolete files from the docs.
- Branches
- Unknown
- Tags