Justin Hsu 46f1917fc8 Remove jhnote. Prefer note, use errata for errors.		2021-07-11 15:29:12 +01:00
..
header.bib	Update bib.	2021-07-10 23:22:55 +01:00
myrefs.bib	Remove jhnote. Prefer note, use errata for errors.	2021-07-11 15:29:12 +01:00