From 8acd4edd5ade4f8836ddae292d45cdfedcb3a30c Mon Sep 17 00:00:00 2001
From: Alan Mishchenko <alanmi@berkeley.edu>
Date: Sun, 13 Feb 2011 13:43:14 -0800
Subject: Removing 1.txt, which was added by mistake.

---
 1.txt | 68 -------------------------------------------------------------------
 1 file changed, 68 deletions(-)
 delete mode 100644 1.txt

diff --git a/1.txt b/1.txt
deleted file mode 100644
index 7d5e1d43..00000000
--- a/1.txt
+++ /dev/null
@@ -1,68 +0,0 @@
-M src\bdd\cudd\cudd.h
-M src\bdd\cudd\cuddAPI.c
-M src\bdd\cudd\cuddAddAbs.c
-M src\bdd\cudd\cuddAddApply.c
-M src\bdd\cudd\cuddAddFind.c
-M src\bdd\cudd\cuddAddInv.c
-M src\bdd\cudd\cuddAddIte.c
-M src\bdd\cudd\cuddAddNeg.c
-M src\bdd\cudd\cuddAddWalsh.c
-M src\bdd\cudd\cuddAndAbs.c
-M src\bdd\cudd\cuddAnneal.c
-M src\bdd\cudd\cuddApa.c
-M src\bdd\cudd\cuddApprox.c
-M src\bdd\cudd\cuddBddAbs.c
-M src\bdd\cudd\cuddBddCorr.c
-M src\bdd\cudd\cuddBddIte.c
-M src\bdd\cudd\cuddBridge.c
-M src\bdd\cudd\cuddCache.c
-M src\bdd\cudd\cuddCheck.c
-M src\bdd\cudd\cuddClip.c
-M src\bdd\cudd\cuddCof.c
-M src\bdd\cudd\cuddCompose.c
-M src\bdd\cudd\cuddDecomp.c
-M src\bdd\cudd\cuddEssent.c
-M src\bdd\cudd\cuddExact.c
-M src\bdd\cudd\cuddExport.c
-M src\bdd\cudd\cuddGenCof.c
-M src\bdd\cudd\cuddGenetic.c
-M src\bdd\cudd\cuddGroup.c
-M src\bdd\cudd\cuddHarwell.c
-M src\bdd\cudd\cuddInit.c
-M src\bdd\cudd\cuddInt.h
-M src\bdd\cudd\cuddInteract.c
-M src\bdd\cudd\cuddLCache.c
-M src\bdd\cudd\cuddLevelQ.c
-M src\bdd\cudd\cuddLinear.c
-M src\bdd\cudd\cuddLiteral.c
-M src\bdd\cudd\cuddMatMult.c
-M src\bdd\cudd\cuddPriority.c
-M src\bdd\cudd\cuddRead.c
-M src\bdd\cudd\cuddRef.c
-M src\bdd\cudd\cuddReorder.c
-M src\bdd\cudd\cuddSat.c
-M src\bdd\cudd\cuddSign.c
-M src\bdd\cudd\cuddSolve.c
-M src\bdd\cudd\cuddSplit.c
-M src\bdd\cudd\cuddSubsetHB.c
-M src\bdd\cudd\cuddSubsetSP.c
-M src\bdd\cudd\cuddSymmetry.c
-M src\bdd\cudd\cuddTable.c
-M src\bdd\cudd\cuddUtil.c
-M src\bdd\cudd\cuddWindow.c
-M src\bdd\cudd\cuddZddCount.c
-M src\bdd\cudd\cuddZddFuncs.c
-M src\bdd\cudd\cuddZddGroup.c
-M src\bdd\cudd\cuddZddIsop.c
-M src\bdd\cudd\cuddZddLin.c
-M src\bdd\cudd\cuddZddMisc.c
-M src\bdd\cudd\cuddZddPort.c
-M src\bdd\cudd\cuddZddReord.c
-M src\bdd\cudd\cuddZddSetop.c
-M src\bdd\cudd\cuddZddSymm.c
-M src\bdd\cudd\cuddZddUtil.c
-M src\bdd\cudd\r7x8.1.mat
-M src\bdd\cudd\testcudd.c
-? 1.txt
-? src\bdd\cudd\Makefile
-? src\bdd\cudd\r7x8.1.out
-- 
cgit v1.2.3