diff options
| author | Tobias Brandt <tob.brandt@gmail.com> | 2010-08-27 07:01:21 +0000 |
|---|---|---|
| committer | Tobias Brandt <tob.brandt@gmail.com> | 2010-08-27 07:01:21 +0000 |
| commit | 2b87648737ad5b07e30d9bb03f7c4e3953566c24 (patch) | |
| tree | 36454035a50838b558720351f0cd4886e19dfeb2 /html/Ocean.std-theme/plus.gif | |
| parent | 957f4ad40b1eb9931d2b2de80f4bc8e28e22b4fa (diff) | |
adding the option to fully qualify identifiers
Diffstat (limited to 'html/Ocean.std-theme/plus.gif')
0 files changed, 0 insertions, 0 deletions