diff options
| author | Dave Arter <davea@mysociety.org> | 2018-04-30 13:01:45 +0100 |
|---|---|---|
| committer | Dave Arter <davea@mysociety.org> | 2018-04-30 13:18:58 +0100 |
| commit | 1e7029591628c3d7d0b710e9443c78aaa3b57902 (patch) | |
| tree | 518b227c0ea320397fa2277fce740f634e7107cd /scripts/prepare_index_html.js | |
| parent | 4d01f4a5c17002860d2caf880e1ceb430fa3404f (diff) | |
Add ‘hide pins’ button to map
Fixes #175.
Diffstat (limited to 'scripts/prepare_index_html.js')
0 files changed, 0 insertions, 0 deletions