Skip to content
This repository has been archived by the owner on Mar 19, 2021. It is now read-only.

Commit

Permalink
remove outdated scripts
Browse files Browse the repository at this point in the history
  • Loading branch information
joergsteffens committed Oct 9, 2016
1 parent 3e3c0be commit 51ccd63
Show file tree
Hide file tree
Showing 5 changed files with 0 additions and 1,095 deletions.
152 changes: 0 additions & 152 deletions manuals/scripts/check_tex.pl

This file was deleted.

184 changes: 0 additions & 184 deletions manuals/scripts/fix_tex.pl

This file was deleted.

0 comments on commit 51ccd63

Please sign in to comment.