search

gap-system / GapWWW

Source for the GAP website
https://www.gap-system.org
Other
11 stars 26 forks source link

Minimize external files we load #359

Closed fingolfin closed 2 months ago

fingolfin commented 2 months ago

We should minimize the number of files we load from outside / CDNs, specifically for the JavaScript libraries.

That means at least

I think that's it but if you spot something else anywhere, please add it.