summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rw-r--r--README.md4
1 files changed, 4 insertions, 0 deletions
diff --git a/README.md b/README.md
index fd8ff5f..4cfbee5 100644
--- a/README.md
+++ b/README.md
@@ -50,6 +50,10 @@ note = {to appear}
}
```
+Up-to-date source code is available on the following mirrors:
+* [GitHub](https://github.com/derf/prim-benchmarks)
+* [ess.cs.uos.de](https://ess.cs.uos.de/git/software/smaug/prim-benchmarks)
+
The original README follows.
---