diff options
| author | Christian Grothoff <christian@grothoff.org> | 2015-12-25 10:32:00 +0100 |
|---|---|---|
| committer | Christian Grothoff <christian@grothoff.org> | 2015-12-25 10:32:00 +0100 |
| commit | ef69cdb72139fb6e70570eaa5feff4820a34971e (patch) | |
| tree | 833e687af3ac21591ffeadde440fbcd56c383d26 /extension/lib/decl | |
| parent | c51f63567332825987e74d101ceea29735ab5b42 (diff) | |
improve HTML pages for Chromium extension to explain better what is going on in terms users may understand, also fixing minor HTML syntax issue
Diffstat (limited to 'extension/lib/decl')
0 files changed, 0 insertions, 0 deletions