Merge branch 'master' of git+ssh://ssh.ocamlcore.org/gitroot/lablgtk/lablgtk
authorJacques Garrigue <garrigue@math.nagoya-u.ac.jp>
Fri, 6 Dec 2013 10:16:17 +0000 (19:16 +0900)
committerJacques Garrigue <garrigue@math.nagoya-u.ac.jp>
Fri, 6 Dec 2013 10:16:17 +0000 (19:16 +0900)
1  2 
src/Makefile

diff --cc src/Makefile
Simple merge