2 Commits (5397db07b1d9dcc14031c44aab4fcc2649f0a8c4)

Author	SHA1	Message	Date
Jose Luis Blanco-Claraco	05f24ed320	cosmic distro is obsolete now	2019-07-31 16:43:22 -07:00
Jose Luis Blanco Claraco	325d4a674d	add Debian scripts	2019-07-11 00:53:18 +02:00