[Trad] [gleu/pgdocs_fr] 31f79e: Ajout d'un répertoire tools contenant pg_doc_inden...

[GitHub]

  Branch: refs/heads/master
  Home:   https://github.com/gleu/pgdocs_fr
  Commit: 31f79e3eaea8537cb1f228cc8a088b21775e0e14
      https://github.com/gleu/pgdocs_fr/commit/31f79e3eaea8537cb1f228cc8a088b21775e0e14
  Author: Julien Rouhaud <julien.rouhaud at free.fr>
  Date:   2014-08-25 (Mon, 25 Aug 2014)

  Changed paths:
    A .gitignore
    A tools/Makefile
    A tools/pg_doc_indent.l

  Log Message:
  -----------
  Ajout d'un répertoire tools contenant pg_doc_indent.

AJout également d'un .gitignore