source: etc/campbell/dev-notes/README

Last change on this file was 2394, checked in by campbell, 7 years ago

I've kept the odd note on bits of CerCo? work I've been doing. James suggested
that it might be useful if these were recorded in the repository just in case
they contain some useful information that doesn't get recorded elsewhere.

File size: 477 bytes
1These are some miscellaneous notes that I keep during CerCo work.  It is
2possible that there is some information here that isn't recorded elsewhere, and
3James suggested I should consider making them available, so I'm checking them
4into the repository for future reference.  However, they are not intended to be
5an accurate record - and certainly not complete - and should not be treated as
6such.  Comments might only apply to CerCo as of the date they were written, if
7at all.
Note: See TracBrowser for help on using the repository browser.