Artifact dad0f2a437e31581d83a7beab8db1b0827d819b618a0e6979966a0fd03032587:


#!/bin/bash
# Fetch a new copy of the patches file.
cp 0patches.red 1patches.red
cp 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 ]