Skip to main content

Browse the archive

Revision e118207d2fa6717bae37dc8090f561c64af296d5 authored by Keno Fischer on 31 August 2023, 07:08:32 UTC, committed by Keno Fischer on 31 August 2023, 07:10:20 UTC 
Add a codegen option to disable use of jlplts
 
Alternative to #51108.
1 parent a355403
Raw File
.gitattributes 
# treat all files as files that should not be modified
* -text
back to top