review code for -LOCAL-DEVEL-DEBS; rely on gdebi to do the equivalent of yum localinstall
authorThierry Parmentelat <thierry.parmentelat@inria.fr>
Tue, 1 Apr 2014 16:10:05 +0000 (18:10 +0200)
committerThierry Parmentelat <thierry.parmentelat@inria.fr>
Tue, 1 Apr 2014 16:10:05 +0000 (18:10 +0200)
commit31f225307c340dd3510da9e09737a15e5c470ed8
treeee3558c287063e0a5697225826cd19ed3d4f59ba
parent19db8f1f8bd61c5f78e66cb1cd59d7ab74619d91
review code for -LOCAL-DEVEL-DEBS; rely on gdebi to do the equivalent of yum localinstall
Makefile
config.planetlab/develdeb.pkgs