git://git.onelab.eu / myplc.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: b6028e4) | patch
utility script to check/fix hrns
authorThierry Parmentelat <thierry.parmentelat@inria.fr>
Wed, 12 Dec 2012 11:35:56 +0000 (12:35 +0100)
committerThierry Parmentelat <thierry.parmentelat@inria.fr>
Wed, 12 Dec 2012 11:35:56 +0000 (12:35 +0100)
commit7e2ad8541774b6c74430d465a143fd1e960d0698
treed4d9c888d5272205595b726f02a0e4325dc4499atree | snapshot
parentb6028e4d49a8e766290096575c80298c2ae2eab5commit | diff
utility script to check/fix hrns
bin/check-hrns.py [new file with mode: 0755] blob
myplc