matita.cs.unibo.it Git - logicplayer.git/tree

drwxr-xr-x		..
-rw-r--r--	12	.name	blob \| history \| raw
-rw-r--r--	686	compiler.xml	blob \| history \| raw
drwxr-xr-x	-	copyright	tree \| history
-rw-r--r--	684	gradle.xml	blob \| history \| raw
drwxr-xr-x	-	libraries	tree \| history
-rw-r--r--	1008	misc.xml	blob \| history \| raw
-rw-r--r--	361	modules.xml	blob \| history \| raw
-rw-r--r--	564	runConfigurations.xml	blob \| history \| raw
-rw-r--r--	167	vcs.xml	blob \| history \| raw
-rw-r--r--	122196	workspace.xml	blob \| history \| raw