4 Commits

Author	SHA1	Message	Date
Hugues Delorme	f8b7be08c5	git: ignore any subdirs inside benchmark_other	2015-12-18 10:53:11 +01:00
Hugues Delorme	8396eab3d6	Filter doc/html from "git status"	2015-03-05 10:06:44 +01:00
Hugues Delorme	ab3bcd96a9	Let git ignore .txt.user files	2015-03-02 17:40:02 +01:00
Hugues Delorme	2cfe22896b	Add .gitignore file	2013-01-15 10:41:29 +01:00