diff options
author | Andrey Andreev <narf@devilix.net> | 2015-03-26 19:58:19 +0100 |
---|---|---|
committer | Andrey Andreev <narf@devilix.net> | 2015-03-26 19:58:19 +0100 |
commit | 03404890a5a0ea9c5e02c235a94312741bdf05b2 (patch) | |
tree | b9ff0d6100b38da82ff789cdf32f05272a8c9a87 /user_guide_src/Makefile | |
parent | aebd039a61cb5135b31ab0b8d9d95ed3fb678c7b (diff) |
Remove an unnecessary check
#3700 #3706
Diffstat (limited to 'user_guide_src/Makefile')
0 files changed, 0 insertions, 0 deletions