| Author | 
Committer | 
Branch | 
Timestamp | 
Parent | 
 | 
| joergs | 
joergs | 
master | 
2016-09-22 09:22 | 
master 2f4dc84f | 
Pending | 
| 
	Changeset | 
webui: additional information | 
| mod - manuals/en/main/plugins.tex | 
Diff File | 
| mod - manuals/en/main/releasenotes.tex | 
Diff File | 
| mod - manuals/en/main/webui.tex | 
Diff File |