diff options
| author | john.j.camilleri <john.j.camilleri@chalmers.se> | 2013-01-11 12:45:24 +0000 |
|---|---|---|
| committer | john.j.camilleri <john.j.camilleri@chalmers.se> | 2013-01-11 12:45:24 +0000 |
| commit | be5a313372fbafa13f8f45357b9ee3a84d18b10f (patch) | |
| tree | ea5812067a79d632dd26d8346f0edb4cfe1f3868 /src/compiler | |
| parent | b5e8d06fba61bb9aaedf59b9fe162fa10f2a299d (diff) | |
Syntax editor: add tooltips to buttons
Diffstat (limited to 'src/compiler')
0 files changed, 0 insertions, 0 deletions