Mechiel Lukkien bdd8fa078e

rfc/xr: tweak, committed previous too soon...

2023-11-14 14:21:02 +01:00

..

errata.go

fix fetching errata after html changed

2023-06-27 19:31:47 +02:00

fetch.sh

rename rfc/index.md to txt, it isn't markdown

2023-10-12 23:15:54 +02:00

index.txt

cross-referencing code & rfc: todo comments and html pages

2023-11-11 20:01:32 +01:00

link.go

for cross-referencing code/rfc, also linkify the errata

2023-11-12 12:20:40 +01:00

Makefile

tweaks to cross-referenced code/rfc html pages

2023-11-13 14:12:40 +01:00

xr.go

rfc/xr: tweak, committed previous too soon...

2023-11-14 14:21:02 +01:00