Adding JMCR-Stable version

[Benchmarks_CSolver.git] / JMCR-Stable / mcr-test / lib / config / icons / dvi.gif

diff --git a/JMCR-Stable/mcr-test/lib/config/icons/dvi.gif b/JMCR-Stable/mcr-test/lib/config/icons/dvi.gif
new file mode 100644 (file)
index 0000000..791be33
Binary files /dev/null and b/JMCR-Stable/mcr-test/lib/config/icons/dvi.gif differ