mirror of
https://github.com/mozilla/pdf.js.git
synced 2026-05-31 23:31:02 +02:00
Now that only the `Catalog` remains in this file, after the previous patches, it makes sense to rename the file to reduce confusion.
Now that only the `Catalog` remains in this file, after the previous patches, it makes sense to rename the file to reduce confusion.