Jeremias Maerki 142c565824 NOTE: API changes in a backwards-incompatible way: FOUserAgent.setResolution() -> FOUserAgent.setSourceResolution() and FOUserAgent.setTargetResolution() | 18 years ago | |
---|---|---|
.. | ||
CommandLineOptions.java | 18 years ago | |
InputHandler.java | 19 years ago | |
Main.java | 18 years ago | |
package.html | 19 years ago |