1. 27 Aug, 2013 1 commit
    • Roland Levillain's avatar
      Remove old tools from doc/. · 3e32b86e
      Roland Levillain authored
      	* doc/Makefile.am (EXTRA_DIST): Remove generate_dist_files.sh and
      	tools/clearbanner.sh.
      	* doc/generate_dist_files.sh,
      	* doc/tools/clearbanner.sh:
      	Remove.
      3e32b86e
  2. 26 Aug, 2013 16 commits
  3. 23 Aug, 2013 23 commits