mirror of
https://github.com/mozilla/pdf.js.git
synced 2026-05-27 13:21:00 +02:00
This, ever so slightly, simplifies the implementation in the `PartialEvaluator.extractDataStructures`-method.
This, ever so slightly, simplifies the implementation in the `PartialEvaluator.extractDataStructures`-method.