d/s/option: drop travis and add github ignore

This commit is contained in:
Jan Wagner 2020-12-04 13:02:45 +01:00
parent 2d5aec31af
commit bb8ed44f0d

View file

@ -1 +1 @@
extend-diff-ignore = '^\.travis' extend-diff-ignore = '^\.github'