From b3d5acb9a6849c2526a1f516fcc0e66a3e5af19c Mon Sep 17 00:00:00 2001 From: Anton Khirnov Date: Tue, 29 Oct 2013 12:00:43 +0100 Subject: Update submodules. --- PUGHReduce | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'PUGHReduce') diff --git a/PUGHReduce b/PUGHReduce index 82bb783..6767210 160000 --- a/PUGHReduce +++ b/PUGHReduce @@ -1 +1 @@ -Subproject commit 82bb7832c7904a41b7bfb4d1339650890f273b7a +Subproject commit 67672101e3ec78be4ff80ac5cadf701b521e1a12 -- cgit v1.2.3