search

seL4 / docs

This is the source of the seL4 docs.
https://docs.sel4.systems
16 stars 52 forks source link

Replace Google Analytics #224

Closed wom-bat closed 8 months ago

wom-bat commented 8 months ago

Use our own plausibl.io instance instead of Google Analytics. This avoids privacy concerns.