This two patches add a little of doc for the development
options -ventry & -vdead.
Luc Van Oostenryck (2):
doc: options.md is for development
doc: document the debug flags
Documentation/{options.md => dev-options.md} | 13 +++++++++----
1 file changed, 9 insertions(+), 4 deletions(-)
rename Documentation/{options.md => dev-options.md} (63%)
--
2.16.2
--
To unsubscribe from this list: send the line "unsubscribe linux-sparse" in
the body of a message to majordomo@xxxxxxxxxxxxxxx
More majordomo info at http://vger.kernel.org/majordomo-info.html
