Maxime Coste d9edd3f013 Merge remote-tracking branch 'dianne/string-highlighter-fix'		2017-06-21 16:56:06 +01:00
..
base	Merge remote-tracking branch 'dianne/string-highlighter-fix'	2017-06-21 16:56:06 +01:00
core	Update command names	2017-06-16 13:53:03 +02:00
extra	rc: Fix calls to mktemp	2017-06-16 11:51:46 +03:00