update devel tools
authorWolfram Schneider <wosch@indexdata.dk>
Thu, 6 Feb 2014 16:27:26 +0000 (16:27 +0000)
committerWolfram Schneider <wosch@indexdata.dk>
Thu, 6 Feb 2014 16:27:26 +0000 (16:27 +0000)
commit9d8bf7e27c93d61482c3ea113bb211de1db10d6b
tree14203dd49cfe75208c565af85e87ac810a6dda5e
parent6abaeac9485803d87c9bfc7c382d07fb41d7146d
update devel tools
README