diff options
author | Andrey Andreev <narf@devilix.net> | 2015-01-05 15:56:41 +0100 |
---|---|---|
committer | Andrey Andreev <narf@devilix.net> | 2015-01-05 15:56:41 +0100 |
commit | 0d3fde261bd538dd5f9468a407db74a066bc11a4 (patch) | |
tree | 475fba3ba826c549e17e9bb7334944946868980d /user_guide_src/Makefile | |
parent | 2020409b1083c14eeef83f6a226b26ef43b79682 (diff) |
Polish changes following PR #3416
Diffstat (limited to 'user_guide_src/Makefile')
0 files changed, 0 insertions, 0 deletions