-
empty lines added automatically by Id...
was committed by ignatov
Friday Aug 19
changeset - 'User list' replaced by 'Users' https... was committed by ignatov 04:57 PM changeset
- entity header fixed at /template http... was committed by ignatov 04:57 PM changeset
- padding under header removed at /hist... was committed by ignatov 04:57 PM changeset
- datepickers fixed https://github.com/... was committed by ignatov 04:57 PM changeset
- system background fixed https://githu... was committed by ignatov 04:57 PM changeset
- added 'Delete all discussion comments... was committed by ignatov 11:42 AM changeset
- small cleanup https://github.com/coll... was committed by ignatov 11:42 AM changeset
-
scala submodule updated
https://githu...
was committed by ignatov
Thursday Aug 18
changeset - style of user list fixed https://gith... was committed by ignatov 09:45 AM changeset
- div#user background fixed https://git... was committed by ignatov 09:45 AM changeset
- package hiding fixed https://github.c... was committed by ignatov 09:45 AM changeset
- history filtration fixed https://gith... was committed by ignatov 08:42 AM changeset
- selectmenu and button height fixed ht... was committed by ignatov 08:42 AM changeset
-
added title to confirmation dialog
ht...
was committed by ignatov
Wednesday Aug 17
changeset - fix for case class icon after history... was committed by ignatov 10:48 AM changeset
- "Missed case class icon at /history" ... was committed by ignatov 10:48 AM changeset
-
Missed case class icon at /historywas updated by Petr Hosek 10:48 AM ticket - datepicker fixed https://github.com/c... was committed by ignatov 10:48 AM changeset
-
'hide/show all' link fixed
https://gi...
was committed by ignatov
Tuesday Aug 16
changeset - search panel fixed https://github.com... was committed by ignatov 09:58 PM changeset
- search result results view fixed http... was committed by ignatov 09:58 PM changeset
- Idea project files updated https://gi... was committed by ignatov 12:33 PM changeset
- fixed entities toggle at History http... was committed by ignatov 11:25 AM changeset
- arrows added at History https://githu... was committed by ignatov 11:25 AM changeset
- definition headers fixed https://gith... was committed by ignatov 11:25 AM changeset
-
filter links at History fixed
https:/...
was committed by ignatov
Monday Aug 15
changeset - user filter fixed at History https://... was committed by ignatov 09:58 PM changeset
- filter links at Template fixed https:... was committed by ignatov 09:58 PM changeset
- background color fixed for div#user h... was committed by ignatov 07:57 PM changeset
- background fixed for discussions http... was committed by ignatov 07:57 PM changeset
- fixed link inside the selectmenu http... was committed by ignatov 07:57 PM changeset
- help page fixed https://github.com/co... was committed by ignatov 07:57 PM changeset
- url fixed at cotemplate.js https://gi... was committed by ignatov 02:33 PM changeset
- jQuery UI Themeroller skin updated to... was committed by Petr Hosek 11:50 AM changeset
- some fixes after rebase https://githu... was committed by ignatov 11:50 AM changeset
- Updated code to support Scala 2.9.x h... was committed by Petr Hosek 11:50 AM changeset
- Merge branch '2.9.x' of github.com:co... was committed by ignatov 11:50 AM changeset
- fix: jquery.prettydate.js removed fro... was committed by ignatov 11:50 AM changeset
- #73 "Clean profile title" fixed https... was committed by ignatov 11:50 AM changeset
- comment tab padding removed https://g... was committed by ignatov 11:50 AM changeset
- removed unnecessary title https://git... was committed by ignatov 11:50 AM changeset
- fix filter() function in cohistory.js... was committed by ignatov 11:50 AM changeset
- #76 closed: "On Comments tab, we shou... was committed by ignatov 11:50 AM changeset
- jquery.prettydate.js removed https://... was committed by ignatov 11:50 AM changeset
- added current user profile at /profil... was committed by ignatov 11:49 AM changeset
- user details replaced by link to prof... was committed by ignatov 11:49 AM changeset
- #75 fixed: "Clean user grid in the se... was committed by ignatov 11:49 AM changeset
- password field removed from profile u... was committed by ignatov 11:49 AM changeset
- added Account Admin tab with change p... was committed by ignatov 11:49 AM changeset
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.
1.0 RC—60% complete
Completed 9 of 15 tickets