7 commits

Author	SHA1	Message	Date
j	de14061b68	ignore more files, fix switch branch	2019-07-14 22:43:20 +01:00
j	fa1b98365b	add docker build	2019-07-06 18:12:32 +02:00
j	0db8ca6c47	document icon, fixes #2987	2017-01-25 17:42:49 +01:00
j	2aa2a76cb5	ignore . files	2016-08-25 18:32:28 +02:00
j	437c19f64c	ignore share	2016-06-09 12:57:38 +02:00
j	f0b8b2b81e	check that range is [int, int]	2016-03-17 16:06:08 +01:00
j	bb3aebb367	add .gitignore	2015-11-13 15:55:03 +01:00