File r36/xlog/XPORT.PAT artifact d0d6d0f7e1 part of check-in e08999f63f

# The file indicates which files in the current directory should
# be exported and which should not.
Master=gauguin http://gauguin.trin.cam.ac.uk/csl/r36/xlog
Master=panamint ftp://acn1:?@panamint.al.cl.cam.ac.uk//d/algebra/r36/xlog
Binary *.exe *.img
Omit *.bak
MixedCase Makefile