diff options
author | Tor Lillqvist <tml@iki.fi> | 2012-02-08 14:07:36 +0200 |
---|---|---|
committer | Tor Lillqvist <tml@iki.fi> | 2012-02-08 14:07:36 +0200 |
commit | 809fd00863026cdff4bf2de7d02956d39e867eeb (patch) | |
tree | f4123ca2475967f96ef14e6729618a7c34443250 | |
parent | 1f63bd653cad40ec1d6aa111cc66959a93d120ce (diff) |
Surely these are mostly *not* used during the build
-rw-r--r-- | bin/README | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/bin/README b/bin/README index 72dbdcd4bcac..688d758d407e 100644 --- a/bin/README +++ b/bin/README @@ -1,6 +1,6 @@ -Tools and scripts used during the build +Tools and scripts mostly not used during the build -This direction has a number of key pieces that are used during the +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> |