source:
trunk/design/ui/source/wui-widgets-labels.adb
Legend:
- Added
- Modified
- Copied or renamed
Note: See TracRevisionLog
for help on using the revision log.
source:
trunk/design/ui/source/wui-widgets-labels.adb
|