Frederik Rietdijk f65aa21bb2 Merge master into staging-next		2019-08-18 12:53:44 +02:00
..
default.nix	Merge master into staging-next	2019-08-18 12:53:44 +02:00
use-unix-config-on-OS-X.patch	armadillo: 7.800.1 -> 8.300.0	2017-11-25 18:27:01 +01:00