Programming Languages Research Group: Git

-rw-r--r--	889	.gitignore	blob \| history \| raw
-rw-r--r--	431	.travis.yml	blob \| history \| raw
-rw-r--r--	11358	LICENSE-2.0.txt	blob \| history \| raw
-rw-r--r--	1378	README.md	blob \| history \| raw
drwxr-xr-x	-	bin	tree \| history
-rw-r--r--	10717	build.gradle	blob \| history \| raw
drwxr-xr-x	-	docs	tree \| history
drwxr-xr-x	-	gradle	tree \| history
-rwxr-xr-x	5296	gradlew	blob \| history \| raw
-rw-r--r--	2260	gradlew.bat	blob \| history \| raw
-rw-r--r--	15254	jpf.properties	blob \| history \| raw
-rw-r--r--	30	settings.gradle	blob \| history \| raw
drwxr-xr-x	-	src	tree \| history