diff options
| author | deva <deva> | 2008-07-01 06:22:14 +0000 |
|---|---|---|
| committer | deva <deva> | 2008-07-01 06:22:14 +0000 |
| commit | 5c14d0367180b756273770a387733472121dec0f (patch) | |
| tree | 240f42e977ac4333cf3c4f07632d7f7b8edc76ed /design/widgets/checkbox.tex | |
| parent | 1ea592db93e2b6b23d96864690965f22c4d96a16 (diff) | |
Renamed PushButton to Button, to better match the specs.
Diffstat (limited to 'design/widgets/checkbox.tex')
0 files changed, 0 insertions, 0 deletions