removed doc from gitignore
Description
Description
Details
Details
- Committed
anmolgautam Jul 31 2018, 1:29 PM - Parents
- R875:6ce8b4066190: removed extensions header from plugins.cpp & pluginsmanager.cpp
- Branches
- Unknown
- Tags
anmolgautam | Jul 31 2018, 1:29 PM |