aboutsummaryrefslogtreecommitdiffhomepage
path: root/Makefile.devel
diff options
context:
space:
mode:
authorGravatar David Aspinall <da@inf.ed.ac.uk>2003-05-20 14:05:41 +0000
committerGravatar David Aspinall <da@inf.ed.ac.uk>2003-05-20 14:05:41 +0000
commitedcb77c42633dcd57a9e554a4316f0689e673f8c (patch)
treee553746b8b5308ae1cc82ef8c0d06e577c9aa706 /Makefile.devel
parented2d995e2ecc9447b0f4d5767a051d4bafc3763d (diff)
Version without match save, and disabling isar-match-antiq.
Diffstat (limited to 'Makefile.devel')
0 files changed, 0 insertions, 0 deletions