Jürgen Mang 459238fbd8

Merge branch 'devel' into decoupling

2019-01-28 23:06:52 +01:00

..

source

Fix: ignore .git and .github directory

2018-09-07 00:52:43 +02:00

changelog

Merge branch 'devel' into decoupling

2019-01-28 23:06:52 +01:00

control

Fix: debian packaging

2018-09-13 23:36:14 +02:00

postinst

Fix: minor modifications

2019-01-21 21:01:25 +00:00

postrm

Fix: dont't remove user/group on uninstall

2018-09-20 21:13:04 +01:00

rules

Fix: dont't remove user/group on uninstall

2018-09-20 21:13:04 +01:00