let's keep screen names simpler to make it easy to use them as commandline arguments
[dosdemo] / pull.bat
2016-08-31 John Tsiombikasfixed mklibs.bat unix line endings, and added pull.bat