Public Git Hosting - llpp.git/commit

summary | log | graphiclog1 | graphiclog2 | commit | commitdiff | tree | refs | edit | fork
(parent: 06b132b) | patch

commit	651529d2db32825497aaece818a4ecce60edf18a
author	malc <moosotc@gmail.com>
	Wed, 30 Sep 2015 13:17:04 +0000 (30 16:17 +0300)
committer	malc <moosotc@gmail.com>
	Wed, 30 Sep 2015 13:18:54 +0000 (30 16:18 +0300)
tree	5b6d37c73b9291a7b8a0ed1398020595a6732e5f	tree \| snapshot (tar.gz zip)
parent	06b132bb2efdf22b65ec973f28d6327532209792	commit \| diff

Remove "uninteresting" interface files

build.sh		diff \| blob \| blame \| history
lablGL/gl.mli	[deleted file]	blob \| blame \| history
lablGL/glArray.mli	[deleted file]	blob \| blame \| history
lablGL/glClear.mli	[deleted file]	blob \| blame \| history
lablGL/glDraw.mli	[deleted file]	blob \| blame \| history
lablGL/glFunc.mli	[deleted file]	blob \| blame \| history
lablGL/glMap.mli	[deleted file]	blob \| blame \| history
lablGL/glMat.mli	[deleted file]	blob \| blame \| history
lablGL/glPix.mli	[deleted file]	blob \| blame \| history
lablGL/raw.mli	[deleted file]	blob \| blame \| history

PDF pager