Make tools directory, move some helper scripts to it
authorkhizmax <khizmax@gmail.com>
Thu, 18 Sep 2014 15:58:58 +0000 (19:58 +0400)
committerkhizmax <khizmax@gmail.com>
Thu, 18 Sep 2014 15:58:58 +0000 (19:58 +0400)
commit89d494acc0ba9da8f2da7a0795d53227714f1a22
tree0a49fb3dc6ee5278a5d479100133798ce9e71f38
parent0d6472a3a17a386de362769dbd0855b17f30855d
Make tools directory, move some helper scripts to it
brush_cds.pl [deleted file]
make_docs.bat [deleted file]
tools/brush_cds.pl [new file with mode: 0644]
tools/make_docs.bat [new file with mode: 0644]