matita.cs.unibo.it Git - helm.git/commit

]> matita.cs.unibo.it Git - helm.git/commit

author	Stefano Zacchiroli <zack@upsilon.cc>
	Wed, 16 Apr 2003 10:05:09 +0000 (10:05 +0000)
committer	Stefano Zacchiroli <zack@upsilon.cc>
	Wed, 16 Apr 2003 10:05:09 +0000 (10:05 +0000)
commit	84ce2dfd5b63c9821b6da62daa16b944014a6021
tree	34f7dc50515772bbf7ea044734e0198361a0addd	tree \| snapshot
parent	1f9b11657c822cc762f808e0bfc5f5f2b4fb6ec7	commit \| diff

added ocamlfind trick to trigger rebuild when some library's .cma has
been changed

Unnamed repository; edit this file 'description' to name the repository.