Jerome Lelong 7c05467f50 Remove snippets placeholders default values ... When the default value is not meaningful and does not give any hint on the expected value, it is removed. This allows to directly type the correct value or to trigger intellisense without deleting the default value first.		2018-08-24 14:41:36 +02:00
..
commands.json	Remove snippets placeholders default values	2018-08-24 14:41:36 +02:00
environments.json	Fix #567 Remove frame in environment hint	2018-05-05 14:14:44 +08:00
packagenames.json	fix comma	2018-04-24 11:54:34 -04:00
unimathsymbols.json	fixed documentation for bigvee and bigwedge	2018-06-11 14:35:42 +02:00