diff options
| author | Vivek Dinesh <vivekdinesh5@gmail.com> | 2016-08-10 14:06:49 +0200 |
|---|---|---|
| committer | Vivek Dinesh <vivekdinesh5@gmail.com> | 2016-08-10 14:06:49 +0200 |
| commit | 656fd7eef9624c3c07918b2d573d9ccb6f971c57 (patch) | |
| tree | ef691cace0cb3c70bd1060c1cf0ea5b9e737d6cc /user_guide_src/Makefile | |
| parent | fba242cf6bc99833c21fc3600fdff2691244e243 (diff) | |
Better usage
Based on GitHub discussion.
Signed-off-by: Vivek Dinesh <vivekdinesh5@gmail.com>
Diffstat (limited to 'user_guide_src/Makefile')
0 files changed, 0 insertions, 0 deletions