pintos-os.org Git - pspp/tree

drwxr-xr-x		..
-rw-r--r--	10531	ChangeLog	blob \| history \| raw
-rw-r--r--	43410	config.guess	blob \| history \| raw
-rwxr-xr-x	14987	config.rpath	blob \| history \| raw
-rw-r--r--	31307	config.sub	blob \| history \| raw
-rw-r--r--	15205	depcomp	blob \| history \| raw
-rwxr-xr-x	9225	install-sh	blob \| history \| raw
-rwxr-xr-x	4925	mdate-sh	blob \| history \| raw
-rw-r--r--	10587	missing	blob \| history \| raw
-rw-r--r--	3421	mkinstalldirs	blob \| history \| raw
-rwxr-xr-x	4434	srclist-update	blob \| history \| raw
-rw-r--r--	6980	srclist.txt	blob \| history \| raw
-rw-r--r--	1040	srclistvars.sh	blob \| history \| raw
-rw-r--r--	224795	texinfo.tex	blob \| history \| raw