-
Adam Barth authored
The Firebase server seems to have changed behavior and is not giving us a List instead of a Map. This patch switches us back to GitHub, which just serves the same flat files all the time.
174164bc
The Firebase server seems to have changed behavior and is not giving us a List instead of a Map. This patch switches us back to GitHub, which just serves the same flat files all the time.
HIAST - GitLab