Tuomas Tynkkynen 2fc7651b25 Merge remote-tracking branch 'upstream/master' into staging		2017-08-24 02:08:32 +03:00
..
default.nix	Merge remote-tracking branch 'upstream/master' into staging	2017-08-24 02:08:32 +03:00
ghdl-ortho-cflags.patch	…
no-sys-dirs.patch	…
sources.nix	…