usability improvements
authorThierry Parmentelat <thierry.parmentelat@inria.fr>
Fri, 8 Feb 2013 09:09:00 +0000 (10:09 +0100)
committerThierry Parmentelat <thierry.parmentelat@inria.fr>
Fri, 8 Feb 2013 09:09:00 +0000 (10:09 +0100)
commitb9df6e562b30ad8e4b11dd437d5ea28280c4414e
tree398cbea59fa622e00fac712c3098f69b7e183842
parent9831ced3ca36ed077dba6abe02c9f2746e1f490b
usability improvements
partial-check.sh
partial-repo.sh