log

age author description
Sat, 19 Mar 2016 16:37:47 -0700 Martijn Pieters graphmod: allow edges to end early
Sat, 19 Mar 2016 16:46:15 -0700 Martijn Pieters graphmod: allow for different styles for different edge types
Thu, 17 Mar 2016 18:32:10 +0000 Jun Wu chgserver: use global ui instead of repo ui for dispatch.request.ui
Thu, 17 Mar 2016 18:34:32 +0000 timeless progress: update comment to reflect implementation