pintos-os.org Git - pspp/tree

drwxr-xr-x		..
-rw-r--r--	2275	ChangeLog	blob \| history \| raw
-rw-r--r--	41865	config.guess	blob \| history \| raw
-rwxr-xr-x	14991	config.rpath	blob \| history \| raw
-rw-r--r--	30291	config.sub	blob \| history \| raw
-rw-r--r--	13313	depcomp	blob \| history \| raw
-rwxr-xr-x	8226	install-sh	blob \| history \| raw
-rwxr-xr-x	4184	mdate-sh	blob \| history \| raw
-rw-r--r--	10270	missing	blob \| history \| raw
-rw-r--r--	2312	mkinstalldirs	blob \| history \| raw
-rwxr-xr-x	2733	srclist-update	blob \| history \| raw
-rw-r--r--	1123	srclist.txt	blob \| history \| raw
-rw-r--r--	589	srclistvars.sh	blob \| history \| raw
-rw-r--r--	222198	texinfo.tex	blob \| history \| raw