Artifact eeebbfac920d6c6690ed8f5fb75465a199ce1b62:

• File help/html/pluginmanager2.html — part of check-in [dd6b528646] at 2016-06-23 20:19:00 on branch trunk — Some types and pluginmanager2 notes (user-local versions vs. sys-wide plugins). (user: mario, size: 6567) [annotate] [blame] [check-ins using]

---