Jonas Jenwald 0ddf52aca5 Remove the special handling for nameddests that look like standard pageNumbers
PR 7341 added special handling for `nameddest`s that look like pageNumbers, to prevent issues since we previously *incorrectly* supported specifying a pageNumber directly in the hash; i.e. `#10` versus the correct `#page=10` format.

Since this behaviour wasn't correct, PR 7757 fixed and deprecated the old format, which means that we no longer need to maintain the `nameddest` hack in multiple files.
2017-05-20 11:29:29 +02:00
..
2017-01-29 23:24:44 +01:00
2017-05-19 07:53:05 -05:00
2013-03-15 11:24:08 -07:00
2015-11-19 11:03:52 -06:00
2017-05-19 07:53:05 -05:00