doc: developer: Add a note about reserved system name space
authorDiego Biurrun <diego@biurrun.de>
Mon, 11 Feb 2013 17:53:33 +0000 (18:53 +0100)
committerDiego Biurrun <diego@biurrun.de>
Mon, 11 Feb 2013 19:17:15 +0000 (20:17 +0100)
commit3658d2dfd48a764503f1bb43edabef0c8af4d8d9
tree637920d3e02593a85e00a28bafa255f92a2756d2
parent56dea32f09e71460add14a1b6d0fbe6eb16f02a4
doc: developer: Add a note about reserved system name space
doc/developer.texi