History for debian/garradin.png

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: [ed09b910ce] check-in: [b3c9619c4e] user: bohwaz, branch: trunk, size: 14478 [annotate] [blame] [check-ins using]