]> git.tuebingen.mpg.de Git - adu.git/search
Move ui_used() and ui_admissible() from adu.h to adu.c.