diff options
Diffstat (limited to 'bin/README')
-rw-r--r-- | bin/README | 9 |
1 files changed, 9 insertions, 0 deletions
diff --git a/bin/README b/bin/README new file mode 100644 index 000000000..d5d0829ce --- /dev/null +++ b/bin/README @@ -0,0 +1,9 @@ +Tools and scripts mostly not used during the build + +This direction has a number of key pieces (?) that are used during the +build, or are simply generally useful. One example is + +bin/find-german-comments <directory> + +which will try to detect and extract all the German comments in a +given source code hierarchy / directory. |