~misterio/website

My personal website and notes

f106e9c change domain to m7.rs

3 months ago

d71e6d3 gave up on taking class notes timely

4 months ago

8353654 move pgp key to openpgp.org

4 months ago

f1badcd remove srht ci

4 months ago

256a009 replace most sourcehut references with my cgit and github

4 months ago

8b63dd5 switch over to gsfontes.com

5 months ago

7e9a46f rename key, add symlink

5 months ago

fd78af3 switch over to gsfontes.com

5 months ago

c3d250a add ssh key

5 months ago

c12f87c css: add figure as a horizontal scroller

5 months ago

f196d6e ci: just build, dont deploy

5 months ago

b4191eb test

5 months ago

f196d6e ci: just build, dont deploy

5 months ago

35c650a test

5 months ago

7971f9d remove srht CI for now

5 months ago
1 / 3