Mercurial > urweb
log
age | author | description |
---|---|---|
Mon, 21 Apr 2014 12:09:58 -0400 | Adam Chlipala | Change <active> to avoid generating an empty <span> for empty content |
age | author | description |
---|---|---|
Mon, 21 Apr 2014 12:09:58 -0400 | Adam Chlipala | Change <active> to avoid generating an empty <span> for empty content |