bison-patches
[Top][All Lists]
Advanced

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[PATCH 0/2] {maint} git maintenance issues


From: Akim Demaille
Subject: [PATCH 0/2] {maint} git maintenance issues
Date: Tue, 4 Sep 2012 11:01:53 +0200

Repository-only changes.

Akim Demaille (2):
  update files to ignore
  maint: remove useless file

 doc/.gitignore          | 2 +-
 externals/bootstrap.cfg | 1 -
 2 files changed, 1 insertion(+), 2 deletions(-)
 delete mode 100644 externals/bootstrap.cfg

-- 
1.7.11.5




reply via email to

[Prev in Thread] Current Thread [Next in Thread]