Join GitHub today
GitHub is home to over 36 million developers working together to host and review code, manage projects, and build software together.Sign up
PDF manual has wrong references #7843
Original bug ID: 7843
24.13 Module Format : Pretty-printing.
I did not investigate more than that: opened this ticket to not forget the problem.