diff options
| author | Clifford Wolf <clifford@clifford.at> | 2014-08-25 12:48:20 +0200 |
|---|---|---|
| committer | Clifford Wolf <clifford@clifford.at> | 2014-08-25 12:48:20 +0200 |
| commit | 672b2c6db1feb252e3fe907f1e24ae273156638a (patch) | |
| tree | d0fba3055b39cf717b34eaca38343c9c83e0cfeb /manual/manual.sh | |
| parent | 7bbbe3580d249d8abab55ab4ef2703bf3dc51a3c (diff) | |
Checking for valid CONFIG value in Makefile
Diffstat (limited to 'manual/manual.sh')
0 files changed, 0 insertions, 0 deletions