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

[Akim Demaille]

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