Changeset [f7d0207425beb62e4bbdb02e8ae3e7f33bc7eb5e] by ignatov
June 21st, 2011 @ 08:43 PM
default user filtration has been removed from history page
https://github.com/collaborative-scaladoc/colladoc/commit/f7d020742...
Committed by ignatov
- M src/main/scala/scala/tools/colladoc/snippet/HistoryOps.scala
Create new ticket
Create your profile
Help contribute to this project by taking a few moments to create your personal profile. Create your profile ยป
Web application allowing to edit Scala symbols documentation.