Gary Verhaegen 99ea93168d update copyright notices (#2499)		2019-08-13 17:23:03 +01:00
..
azure-devops.nix	CI: Add script to purge old agents (#402)	2019-04-12 14:56:20 +02:00
default.nix	Switch to nixpkgs-unstable (#1921)	2019-06-27 18:47:42 +02:00
purge_old_agents.py	update copyright notices (#2499)	2019-08-13 17:23:03 +01:00