a7da9217b5
- Convert to new options framework PR: ports/168267 Submitted by: Niclas Zeising <zeising@daemonic.se> (maintainer) Approved by: eadler, itetcu (mentors, implicit) |
||
---|---|---|
.. | ||
patch-configure | ||
patch-doc__Makefile.in | ||
patch-examples__Makefile.in | ||
patch-Makefile.in |