History for debian/garradin.desktop

2019-01-25
10:07
Added: Améliorer le paquet debian : ajouter Garradin dans le menu et les applications dispo, et utiliser un PID file: [0ea3e7ac4d] check-in: [b3c9619c4e] user: bohwaz, branch: trunk, size: 109 [annotate] [blame] [check-ins using]