| 1 | | short meeting today -- `leaflet.js` is installed more than once on this disk; we would like to avoid duplication and use similar versions when possible; a fresh package for `python3-ipyleaflet` might be the next step; a new `leaflet.js` will be at the same local URL |
| | 1 | short meeting today -- `leaflet.js` is installed more than once on this disk |
| | 2 | |
| | 3 | we would like to avoid duplication and use similar versions when possible |
| | 4 | |
| | 5 | a fresh dot-deb package for `python3-ipyleaflet` is the next step |
| | 6 | |
| | 7 | a new `leaflet.js` will be at the same local URL |
