diff options
| -rw-r--r-- | lib/pure/actors.nimrod.cfg (renamed from lib/pure/actors.cfg) | 0 |
1 files changed, 0 insertions, 0 deletions
diff --git a/lib/pure/actors.cfg b/lib/pure/actors.nimrod.cfg
index c6bb9c545..c6bb9c545 100644
--- a/lib/pure/actors.cfg
+++ b/lib/pure/actors.nimrod.cfg
|