[ test ] added .agda-lib file to test/succeed

agda · Oct 28, 2015 · 3cc0fc2 · 3cc0fc2
1 parent 99e1e2f
commit 3cc0fc2
Showing 1 changed file with 4 additions and 0 deletions.
diff --git a/test/succeed/succeed.agda-lib b/test/succeed/succeed.agda-lib
@@ -0,0 +1,4 @@
+name: test-succeed
+include:
+  .
+  ..