Skip to main content

Browse the archive

Revision ab653281482d1c7941a0d4b17695bf8e8e2ba5f3 authored by Hans-Peter Suter on 27 July 2018, 16:19:52 UTC, committed by Jeff Bezanson on 29 July 2018, 16:51:32 UTC 
fix sections ref in 'Declared Types' (docu), closes #21612
1 parent e7da06d
Raw File
.gitattributes 
# treat patches as files that should not be modified
*.patch -text
back to top