History subr/ex_rtl_state.subr

subr/*.subr: fix header legends.
Lucio Andrés Illanes Albornoz (arab, vxp) • 6 years ago  
Separate front end (build.sh, subr/build_*) from dispatcher.
Lucio Andrés Illanes Albornoz (arab, vxp) • 6 years ago