diff options
| author | Vivek Dinesh <vivekdinesh5@gmail.com> | 2016-08-11 14:51:11 +0200 |
|---|---|---|
| committer | Vivek Dinesh <vivekdinesh5@gmail.com> | 2016-08-11 14:51:11 +0200 |
| commit | 669cc5f881970ec3cc19b57f4da0382c7d8f5542 (patch) | |
| tree | 65ce23c2af8da403b86857b89dc52eb46e726eb7 /user_guide_src | |
| parent | b6ed3d102dc7c8e2a591405e56aa780d64d385d6 (diff) | |
Removed useless checks
Based on GitHub discussion.
Signed-off-by: Vivek Dinesh <vivekdinesh5@gmail.com>
Diffstat (limited to 'user_guide_src')
0 files changed, 0 insertions, 0 deletions