[PPL-devel] [GIT] ppl/ppl(master): Put under Git control.

23 Jun 2013

Module: ppl/ppl
Branch: master
Commit: 772c80b14cb0919a06b794acce9c7073ef6dd490
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=772c80b14cb09...
Author: Roberto Bagnara roberto.bagnara@bugseng.com
Date:   Sun Jun 23 08:48:29 2013 +0200
Put under Git control.
---
test-driver |    1 +
 1 files changed, 1 insertions(+), 0 deletions(-)

diff --git a/test-driver b/test-driver
new file mode 120000
index 0000000..29fa213
--- /dev/null
+++ b/test-driver
@@ -0,0 +1 @@
+/usr/local/share/automake-1.14/test-driver
\ No newline at end of file

    