this symlink is needed
authorThierry Parmentelat <thierry.parmentelat@inria.fr>
Thu, 14 Mar 2013 11:11:07 +0000 (12:11 +0100)
committerThierry Parmentelat <thierry.parmentelat@inria.fr>
Thu, 14 Mar 2013 11:11:07 +0000 (12:11 +0100)
third-party/spin [new symlink]

diff --git a/third-party/spin b/third-party/spin
new file mode 120000 (symlink)
index 0000000..f56e2bf
--- /dev/null
@@ -0,0 +1 @@
+spin-1.2.8
\ No newline at end of file