Leon Schuermann 5d3d84b74f libvmi: Use version tag as git revision		2018-07-03 18:17:22 +01:00
..
default.nix	libvmi: Use version tag as git revision	2018-07-03 18:17:22 +01:00