mirror of
https://git.FreeBSD.org/src.git
synced 2024-12-16 10:20:30 +00:00
af73d4e69e
crunched floppies, but they can be included as options in src/release/picobsd (omitted by default though.) Therefore preserve the RELEASE_CRUNCH knob in their Makefiles, but tell its real purpose in a comment. |
||
---|---|---|
.. | ||
Makefile |