From 0ca361fb1bf891e55a65b826e6c3ecb1086b2871 Mon Sep 17 00:00:00 2001 From: Martin Nolte <mnolte@dune-project.org> Date: Wed, 14 Oct 2009 08:08:05 +0000 Subject: [PATCH] don't ignore dune [[Imported from SVN: r5648]] --- .gitignore | 1 - 1 file changed, 1 deletion(-) diff --git a/.gitignore b/.gitignore index 1c0f19f15..97906c0d2 100644 --- a/.gitignore +++ b/.gitignore @@ -16,6 +16,5 @@ stamp-h1 dune-common-*.tar.gz dune-common-?.? ltmain.sh -dune .libs dependencies.m4 -- GitLab