Ines Montani 12a941d841 Update binder version [ci skip]		2019-10-02 16:47:01 +02:00
..
languages.json	Update languages.json [ci skip]	2019-09-27 15:15:41 +02:00
logos.json	…
sidebars.json	…
site.json	Update binder version [ci skip]	2019-10-02 16:47:01 +02:00
universe.json	Use consistent spelling	2019-10-02 10:37:39 +02:00