Document and clean up do_numbering()
authorBerk Hess <hess@kth.se>
Thu, 28 Oct 2021 13:50:39 +0000 (13:50 +0000)
committerAndrey Alekseenko <al42and@gmail.com>
Thu, 28 Oct 2021 13:50:39 +0000 (13:50 +0000)

No differences found