diff TOOLS/realcodecs/rv30.sh @ 13501:a5004eb92a79

fix sub_select fiasco with global sub numbering. now multiple sub sources can be managed in essentially one list.
author joey
date Tue, 28 Sep 2004 13:51:20 +0000
parents 86c478bea7ce
children
line wrap: on
line diff