2
2
![](https://secure.gravatar.com/avatar/d7c3317235884569312c31f786d43bbc.jpg?s=120&d=mm&r=g)
25 Oct '16
3
3
2
1
3
3
1
1
![](https://secure.gravatar.com/avatar/c5ae4f9aa0d3a9bd5376e92b322c3e50.jpg?s=120&d=mm&r=g)
Bug in typing linenumbering if document starts with a typing environment
by Aditya Mahajan 21 Oct '16
by Aditya Mahajan 21 Oct '16
21 Oct '16
1
1
1
0
1
0
5
9
4
7