3 Commits

Author	SHA1	Message	Date
rnhmjoj	bcf54ce5bb	treewide: use ${stdenv.shell} instead of /bin/sh where possible	2019-01-16 20:37:15 +01:00
WilliButz	ce5e1b5b0a	codimd: update patch	2018-10-10 14:57:43 +02:00
WilliButz	a31a917eb9	codimd: init at 1.2.0	2018-09-17 15:18:52 +02:00