]> git.tuebingen.mpg.de Git - paraslash.git/commit
Rename "dbtool" status item to "selector"
authorAndre <maan@p133.(none)>
Fri, 10 Mar 2006 19:41:25 +0000 (20:41 +0100)
committerAndre <maan@p133.(none)>
Fri, 10 Mar 2006 19:41:25 +0000 (20:41 +0100)
commitdfaa2c1b2505dc2e192bd6e8baa80a5d02ed78b7
tree677a796822538f9eab42ca7d087b352f0a6739cd
parentc542546683d922f088e9a9c2ae399834e9b0bb12
Rename "dbtool" status item to "selector"
command.c
gui_theme.c
para.h
sdl_gui.c
stat.c