|
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 |
