diff options
| author | Andrey Andreev <narf@bofh.bg> | 2012-12-19 16:07:54 +0100 |
|---|---|---|
| committer | Andrey Andreev <narf@bofh.bg> | 2012-12-19 16:07:54 +0100 |
| commit | 72ed4c322652d88bf90ddfe8b8c9a563c51e4660 (patch) | |
| tree | 08ab69109dce3876b2942cbaba9be0bb6036a121 /user_guide_src/Makefile | |
| parent | a9162502512e5eca4fa257689e7a250be900968f (diff) | |
[ci skip] Some micro-optimizations and style changes
(following PRs #2049, #2079)
Diffstat (limited to 'user_guide_src/Makefile')
0 files changed, 0 insertions, 0 deletions