chiark / gitweb /
implement check_clean_tree; $tiprefs, $baserefs