NevowServer : added addInfoString to allow extensions to declare some read-only strings to be displayed in settings. Also renamed addExtension in addSettings for clarity.

     1

<?xml version="1.0" encoding="UTF-8"?>

     2

<BeremizRoot>

     3

  <TargetType>

     4

    <Xenomai/>

     5

  </TargetType>

     6

</BeremizRoot>