Commit graph

1 commit

Author SHA1 Message Date
joerg
e72d3e9478 Add tex-undolabl, which allows replacing existing labels. 2014-07-08 15:21:48 +00:00