b74ed0f79d
People should use 'make makepatch' instead which creates patches with the expected filename and header. Differential Revision: https://reviews.freebsd.org/D36767 |
||
---|---|---|
.. | ||
scripts | ||
make_index | ||
make_readmes |
b74ed0f79d
People should use 'make makepatch' instead which creates patches with the expected filename and header. Differential Revision: https://reviews.freebsd.org/D36767 |
||
---|---|---|
.. | ||
scripts | ||
make_index | ||
make_readmes |