Merge pull request #2829 from miska/knot
authorchamptar <[email protected]>
Mon, 13 Jun 2016 09:28:07 +0000 (11:28 +0200)
committerGitHub <[email protected]>
Mon, 13 Jun 2016 09:28:07 +0000 (11:28 +0200)
commit5a142b9359730f8519e7aedb7646c5951f86dec9
tree2031f2a9e4e87c70661939c66eae0a1bfd588cf5
parent7a10a5840c4511fbe72799f07a8915484106564b
parent95deaac5031b3f1248c1f2f53799f1a8bdfa5462
Merge pull request #2829 from miska/knot

knot: Install more development files