208 Commits

Author	SHA1	Message	Date
Joao Moreno	277c0a253a	wip: git extension typings	2016-11-22 12:49:03 +01:00
Joao Moreno	b0f6ebc0fa	wip: git extension	2016-11-22 12:25:12 +01:00
Joao Moreno	72dfd0e15c	ups	2016-10-20 16:13:06 +02:00
Joao Moreno	a83f2b733d	remove publisher	2016-10-20 14:44:18 +02:00
Joao Moreno	74643fd171	remove git extension code	2016-10-20 14:44:00 +02:00
Joao Moreno	8650a786ee	git extension: first steps	2016-10-10 17:37:28 +02:00
Martin Aeschlimann	4a13944af6	Migrate all other languages to language-configuration.json	2016-07-21 20:30:37 +02:00
Benjamin Pasero	cc226c0581	Support git commit message syntax highlighting (fixes #3876)	2016-03-11 16:30:05 +01:00