annexia.org >> repositories - wrappi.git/tree - generator/

git.annexia.org / wrappi.git / tree

summary | shortlog | log | commit | commitdiff | tree
history | HEAD | snapshot

[wrappi.git] / generator /

drwxr-xr-x		..
-rw-r--r--	449	.depend	blob \| history \| raw
-rw-r--r--	2071	Makefile.am	blob \| history \| raw
-rw-r--r--	3934	wrappi_boilerplate.ml	blob \| history \| raw
-rw-r--r--	969	wrappi_boilerplate.mli	blob \| history \| raw
-rw-r--r--	3068	wrappi_c.ml	blob \| history \| raw
-rw-r--r--	810	wrappi_c.mli	blob \| history \| raw
-rw-r--r--	3821	wrappi_main.ml	blob \| history \| raw
-rw-r--r--	1911	wrappi_pr.ml	blob \| history \| raw
-rw-r--r--	1348	wrappi_pr.mli	blob \| history \| raw

Unnamed repository; edit this file to name it for gitweb.