class EIFFELDOC_OPTIONS
Summary
Overview
title: STRING
writable attribute
home_address: STRING
writable attribute
css: STRING
writable attribute
js: STRING
writable attribute
depends: BOOLEAN
writable attribute
wiki_prefix: STRING
writable attribute
set_launcher
effective procedure