File r36/XMPL/XPORT.PAT artifact 3756903811 part of check-in a7bd34d54c
# 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/xmpl Master=panamint ftp://acn1:?@panamint.al.cl.cam.ac.uk//d/algebra/r36/xmpl Binary *.exe *.img Omit *.bak MixedCase Makefile