chiark / gitweb /
wip before adjust push/fetch
-rw-r--r-- 9 .gitignore
-rw-r--r-- 1129 NOTES
-rw-r--r-- 2004 NOTES-2
-rw-r--r-- 3734 data-flow.fig
-rw-r--r-- 333 git-logo-thing.png
-rw-r--r-- 7119 talk.txt
-rw-r--r-- 1325 tree.png
-rw-r--r-- 5798 tree.xcf