pintos-os.org Git - pspp/tree

drwxr-xr-x		..
-rwxr-xr-x	43479	config.guess	blob \| history \| raw
-rwxr-xr-x	14869	config.rpath	blob \| history \| raw
-rwxr-xr-x	31687	config.sub	blob \| history \| raw
-rwxr-xr-x	15872	depcomp	blob \| history \| raw
-rwxr-xr-x	9233	install-sh	blob \| history \| raw
-rwxr-xr-x	5483	mdate-sh	blob \| history \| raw
-rwxr-xr-x	11014	missing	blob \| history \| raw
-rwxr-xr-x	3474	mkinstalldirs	blob \| history \| raw
-rw-r--r--	230259	texinfo.tex	blob \| history \| raw