Fetches auxiliary maps scripts through Make.
[platal.git] / htdocs / javascript / maps.js
2011-05-18 Stéphane JacobMap is back (but empty for now).