hvk: add support for all* DEFCONFIG options
[hvutilities.git] / INSTALL
2013-06-05 Hugo VilleneuveAjout hv-utilities et conversion à autoconf