From 54d7cbad02005212c4171b7d652416c75a93aa37 Mon Sep 17 00:00:00 2001 From: Adam Chlipala Date: Sun, 19 Oct 2008 12:47:10 -0400 Subject: Proper configuration and installation --- THIS_IS_URWEB | 0 1 file changed, 0 insertions(+), 0 deletions(-) create mode 100644 THIS_IS_URWEB (limited to 'THIS_IS_URWEB') diff --git a/THIS_IS_URWEB b/THIS_IS_URWEB new file mode 100644 index 00000000..e69de29b -- cgit v1.2.3