pintos-os.org Git - pspp/tree

projects / pspp / tree

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

-rw-r--r--	18	.gitignore	blob \| history \| raw
-rwxr-xr-x	11827	build-pspp	blob \| history \| raw
-rwxr-xr-x	12586	gendocs.sh	blob \| history \| raw
-rw-r--r--	3717	gendocs_template	blob \| history \| raw
-rw-r--r--	3517	gendocs_template_min	blob \| history \| raw

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