about summary refs log tree commit diff
diff options
context:
space:
mode:
authorEelco Dolstra <e.dolstra@tudelft.nl>2003-07-20T19·30+0000
committerEelco Dolstra <e.dolstra@tudelft.nl>2003-07-20T19·30+0000
commit667a6afb9dabcb3e5c851b910705b7eb1c87c9b6 (patch)
tree4f3f243cf0efbb4f7230824ff80e52d71073d5bd
parent6f1a0f948dc5a98f2efcdafb0fdde96bebbf90da (diff)
* Remove accidentally added file.
-rw-r--r--src/normalise.obin888596 -> 0 bytes
1 files changed, 0 insertions, 0 deletions
diff --git a/src/normalise.o b/src/normalise.o
deleted file mode 100644
index c23482c54d1c..000000000000
--- a/src/normalise.o
+++ /dev/null
Binary files differ