Clone
Gustaf Neumann <neumann@wu-wien.ac.at>
committed
on 10 May 13
- syntax formatter: use /value/ for denoting placeholder in "... info method syntax ..."
master + 11 more