Files F11222142

TODO
No OneTemporary
Actions

Size

249 B

Subscribers

None

TODO
View Options

	Bug fixes:
	check: hatching scaled, multiple hatching -- ghostscript bug?
	compatibility with german.sty (" signs in compare_filedate)

	Changes:
	Error: 'File ended while...' -> 'File not found or ended...'

	Features:
	a\|// chain to split up path

File Metadata

Mime Type: text/plain
Expires: Wed, May 14, 11:29 AM (12 h, 7 m)
Storage Engine: blob
Storage Format: Raw Data
Storage Handle: 5109462
Default Alt Text: TODO (249 B)

Event Timeline