diff options
author | Gwan-gyeong Mun <[email protected]> | 2016-11-22 20:51:52 +0900 |
---|---|---|
committer | Emil Velikov <[email protected]> | 2016-11-22 15:13:42 +0000 |
commit | 0e8dc81c3acf5999b6e9263ee320a4db31742119 (patch) | |
tree | 93cbf0af2231055f994a417058df3f29e6a8b94b /docs/precompiled.html | |
parent | a2283b50e68ffb560057e53fa195aa8498246d8c (diff) |
docs: get rid of duplicated description from sourcetree.html
Fixes: 438086efb17 (docs: sourcetree.html misc updates)
Signed-off-by: Mun Gwan-gyeong <[email protected]>
Reviewed-by: Emil Velikov <[email protected]>
Diffstat (limited to 'docs/precompiled.html')
0 files changed, 0 insertions, 0 deletions