From fa0e09c65b849b7bad86bfd457e7cf7b0771df9a Mon Sep 17 00:00:00 2001 From: Adam Chlipala Date: Thu, 14 May 2009 08:15:36 -0400 Subject: Testing custom paths --- tests/aux/aux.ur | 1 + 1 file changed, 1 insertion(+) create mode 100644 tests/aux/aux.ur (limited to 'tests/aux') diff --git a/tests/aux/aux.ur b/tests/aux/aux.ur new file mode 100644 index 00000000..41edf353 --- /dev/null +++ b/tests/aux/aux.ur @@ -0,0 +1 @@ +val hello = "Hello!" -- cgit v1.2.3