* Makefile.in (DEVO_SUPPORT): Remove configure.bat and makeall.bat, they're
This page took 0.045519 seconds and 3 git commands to generate.