Artifact e86131a30ba7e43800ca1fa371e22bac4aec72e8d8272d4e7d6bab83f6f56924:


REM Fetch a new copy of the patches file.
copy 0patches.red 1patches.red
copy patches.red 0patches.red
echo "About to fetch new copy of patches.red file"
xport -get http://ftp.rand.org/software_and_data/reduce/patches/patches.red patches.red
echo "done"
xport -inc



REDUCE Historical
REDUCE Sourceforge Project | Historical SVN Repository | GitHub Mirror | SourceHut Mirror | NotABug Mirror | Chisel Mirror | Chisel RSS ]