From dbbb6217de68b250ed8eb90eb1f041c9efc73d2b Mon Sep 17 00:00:00 2001 From: Nicolás Reynolds Date: Mon, 4 Jul 2011 12:40:02 -0300 Subject: added ticket 1309794001_some-prtools-are-mixed-with-the-libretools-_524 --- 1309794001_some-prtools-are-mixed-with-the-libretools-_524/STATE_open | 1 + 1 file changed, 1 insertion(+) create mode 100644 1309794001_some-prtools-are-mixed-with-the-libretools-_524/STATE_open (limited to '1309794001_some-prtools-are-mixed-with-the-libretools-_524/STATE_open') diff --git a/1309794001_some-prtools-are-mixed-with-the-libretools-_524/STATE_open b/1309794001_some-prtools-are-mixed-with-the-libretools-_524/STATE_open new file mode 100644 index 0000000..f510327 --- /dev/null +++ b/1309794001_some-prtools-are-mixed-with-the-libretools-_524/STATE_open @@ -0,0 +1 @@ +open -- cgit v1.2.3-54-g00ecf