Jan Wagner bb8ed44f0d d/s/option: drop travis and add github ignore		2020-12-04 13:02:45 +01:00
..
format	Convert the package to source format 3.0 (quilt)	2015-08-20 12:50:15 +02:00
options	d/s/option: drop travis and add github ignore	2020-12-04 13:02:45 +01:00