From ca3bc790a76dd91d7063d13ba41b77ebc8bd2cb8 Mon Sep 17 00:00:00 2001
From: Paul Eggert
Date: Thu, 19 Nov 2015 08:21:10 -0800
Subject: Migrate modules/.gitignore into .gitignore

* .gitignore: Add former contents of modules/.gitignore.
* modules/.gitignore: Remove.
---
 modules/.gitignore | 8 --------
 1 file changed, 8 deletions(-)
 delete mode 100644 modules/.gitignore

(limited to 'modules')

diff --git a/modules/.gitignore b/modules/.gitignore
deleted file mode 100644
index 33a872ef84a..00000000000
--- a/modules/.gitignore
+++ /dev/null
@@ -1,8 +0,0 @@
-# built modules
-*.so
-
-# built DOCFILEs
-*.doc
-
-# include makefile for now
-!Makefile
-- 
cgit v1.2.1