remove old shit
[notes.git] / spec /
drwxr-xr-x   parent (dest: ; base: a20f1688afec43841698e6ea406430ec7055ab1b)
-rw-r--r-- 8264 complex.html
-rwxr-xr-x 2980 complex.md
-rwxr-xr-x 7187 complex.md.html
-rwxr-xr-x 1671 default.html5
-rwxr-xr-x 664 main.css
-rw-r--r-- 5820 sequences.html
-rw-r--r-- 12288 sequences.log
-rwxr-xr-x 1586 sequences.md
-rwxr-xr-x 301 trig.md