From 7a05b108d52d7d4ea2c57daf57b82b9a5cb9c37b Mon Sep 17 00:00:00 2001 From: Grzegorz Adam Hankiewicz Date: Sat, 21 Dec 2013 11:44:17 +0100 Subject: [PATCH] Renames configuration file to new pattern. Refs #720. --- lib/pure/{actors.cfg => actors.nimrod.cfg} | 0 1 file changed, 0 insertions(+), 0 deletions(-) rename lib/pure/{actors.cfg => actors.nimrod.cfg} (100%) diff --git a/lib/pure/actors.cfg b/lib/pure/actors.nimrod.cfg similarity index 100% rename from lib/pure/actors.cfg rename to lib/pure/actors.nimrod.cfg