| Author | DaveJarvis <email> |
|---|---|
| Date | 2022-08-20 15:38:19 GMT-0700 |
| Commit | 1dd250a412ac2f12a6b75508c4b1eea9b8bd6ffe |
| Parent | d2b5427 |
| Delta | 0 lines added, 7 lines removed, 7-line decrease |
| /** | ||
| - * @see #setThemePath(Path) | ||
| - */ | ||
| - public void setThemePath( final File themePath ) { | ||
| - setThemePath( themePath.toPath() ); | ||
| - } | ||
| - | ||
| - /** | ||
| * @param autoClean {@code true} to remove all temporary files after | ||
| * typesetter produces a PDF file. |