From e06aaa5c79788c5d7fed43f18ab197e452d2f1c3 Mon Sep 17 00:00:00 2001 From: Mukund Sivaraman Date: Mon, 14 Sep 2009 16:56:12 +0530 Subject: Rename doc directory to docs --- doc/.gitignore | 3 --- 1 file changed, 3 deletions(-) delete mode 100644 doc/.gitignore (limited to 'doc/.gitignore') diff --git a/doc/.gitignore b/doc/.gitignore deleted file mode 100644 index 71605d5..0000000 --- a/doc/.gitignore +++ /dev/null @@ -1,3 +0,0 @@ -Makefile -Makefile.in -report.sh -- cgit v1.2.3