-
31c92ccf · Apply fixes needed to run the automatic update. Updates to the maps
-
d4c267e1 · Merge branch 'user_map' into 'master'
- ... and 1 more commit. Compare 845004a7...d4c267e1
@matthieu this PR adds the user map, and also cleans some things up. I've added a script ./make_page.sh
which is based on what you gave me. If you ...