pintos-os.org Git - pspp/tree - src/ui/gui/include/

projects / pspp / tree

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

[pspp] / src / ui / gui / include /

drwxr-xr-x		..
drwxr-xr-x	-	gtk	tree \| history

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