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