From c449010208acb1f7a98e2eee722e71b7db472547 Mon Sep 17 00:00:00 2001
From: Morgan Deters <mdeters@gmail.com>
Date: Wed, 10 Feb 2010 22:21:41 +0000
Subject: [PATCH] svn:ignore for build stuff; add Liana to AUTHORS

---
 AUTHORS | 1 +
 1 file changed, 1 insertion(+)

diff --git a/AUTHORS b/AUTHORS
index 41cb9bb16..4f94f7c01 100644
--- a/AUTHORS
+++ b/AUTHORS
@@ -4,6 +4,7 @@ The core authors and designers of CVC4 are:
   Christopher Conway <cconway@cs.nyu.edu>, New York University
   Morgan Deters <mdeters@cs.nyu.edu>, New York University
   Yeting Ge <yeting@cs.nyu.edu>, New York University
+  Liana Hadarean <lianah@cs.nyu.edu>, New York University
   Tim King <taking@cs.nyu.edu>, New York University
   Mina Jeong <mjeong@cs.nyu.edu>, New York University
   Dejan Jovanovic <dejan@cs.nyu.edu>, New York University
-- 
2.30.2