mirror of
https://git.FreeBSD.org/ports.git
synced 2024-10-21 20:38:45 +00:00
dd849164d3
. introduce OPTIONS. PR: ports/146458 Submitted by: Ashish SHUKLA <wahjava at gmail.com> (maintainer) |
||
---|---|---|
.. | ||
patch-doc-emacs-Makefile.in | ||
patch-doc-lispintro-Makefile.in | ||
patch-doc-lispref-Makefile.in | ||
patch-doc-misc-Makefile.in | ||
patch-Makefile.in | ||
patch-sources.el |