Javier Serrano Polo ff060982ac Add initial Debian packaging for stable-1.2 (#4697) ...

* Add initial Debian packaging for stable-1.2

* Drop Debian menu entry

2018-11-14 14:01:00 +01:00

..

format

…