summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorPhilip Hazel <ph10@hermes.cam.ac.uk>2006-02-07 14:04:29 +0000
committerPhilip Hazel <ph10@hermes.cam.ac.uk>2006-02-07 14:04:29 +0000
commit312fd9e929e73d6c0d5ca7414431d2b87fa0ea21 (patch)
tree0b03bff0952ebe281e6938eb83434b6deab7b92a
parentd7d7b7b91dd75cec636fc144da7e27eed860f971 (diff)
File somehow got omitted in recent commit faffing.
-rw-r--r--test/aux-fixed/2501.domains/okdomain0
1 files changed, 0 insertions, 0 deletions
diff --git a/test/aux-fixed/2501.domains/okdomain b/test/aux-fixed/2501.domains/okdomain
new file mode 100644
index 000000000..e69de29bb
--- /dev/null
+++ b/test/aux-fixed/2501.domains/okdomain