Daniël de Kok cc03522f52 drawio: 12.3.2 -> 12.4.2 ... Changelog: * Updates to draw.io 12.4.2, changes from, and including, 12.3.2 to 12.4.2 are new in this desktop release. * Updates to Electron 7.1.5		2019-12-19 07:42:10 +01:00
..
default.nix	drawio: 12.3.2 -> 12.4.2	2019-12-19 07:42:10 +01:00