Planet
navi homePPSaboutscreenshotsdownloaddevelopmentforum

Changeset 3558 in orxonox.OLD for orxonox/trunk/src/lib/gui


Ignore:
Timestamp:
Mar 15, 2005, 12:08:27 PM (20 years ago)
Author:
bensch
Message:

orxonox/trunk: now the documentation only gets build if requested either by the configure skript via: ./configure —enable-ducumentation, or by building in trunk: make doc

Location:
orxonox/trunk/src/lib/gui
Files:
3 edited

Legend:

Unmodified
Added
Removed
Note: See TracChangeset for help on using the changeset viewer.