Merge ssh://repo.or.cz/srv/git/polylib
commit1ae7a6c48f190d9030781b855b401c9b52fc41e4
authorVincent Loechner <loechner@icps.u-strasbg.fr>
Sun, 11 May 2014 17:44:31 +0000 (11 19:44 +0200)
committerVincent Loechner <loechner@icps.u-strasbg.fr>
Sun, 11 May 2014 17:44:31 +0000 (11 19:44 +0200)
tree1a0ed5c5b3f1d8925ff28551bb50711a2a1613ea
parent97c847efc86b714fb1a87de9eb8c857e77705210
parent8080293b96b8e35e6cab1c30a9f1c6cbd8f6757a
Merge ssh://repo.or.cz/srv/git/polylib