diff options
| author | David Waern <david.waern@gmail.com> | 2012-04-01 02:16:15 +0200 |
|---|---|---|
| committer | David Waern <david.waern@gmail.com> | 2012-04-01 02:16:15 +0200 |
| commit | 563302747deca1c66dff8ddf260e23153d310c73 (patch) | |
| tree | 7555206f349453b294f7312c22cd911a0df78d27 /html/Ocean.std-theme | |
| parent | 3f6a3f1983a9414e650a6dff0c7b0e824c8d83fe (diff) | |
Don't filter out unexported names from the four maps - fixes a regression.
Diffstat (limited to 'html/Ocean.std-theme')
0 files changed, 0 insertions, 0 deletions