summaryrefslogtreecommitdiffstats
path: root/user_guide_src/Makefile
diff options
context:
space:
mode:
authorAndrey Andreev <narf@devilix.net>2017-07-21 10:51:37 +0200
committerAndrey Andreev <narf@devilix.net>2017-07-21 10:53:08 +0200
commit954c4aac3211c5e04270c76b9f7ac11466638bef (patch)
tree8f0466356d763e697ee8185598449bfc5a90d0b3 /user_guide_src/Makefile
parent6cab78970f212a30ea923835510ffd1fb77a6ad0 (diff)
[ci skip] Merge pull request #5191 from jim-parry/patch/docs
Fix some mistakes in the user guide
Diffstat (limited to 'user_guide_src/Makefile')
0 files changed, 0 insertions, 0 deletions