log Agda/debug_build.md @ 134:e965a4b3e697 default tip

age author description
Wed, 16 Dec 2020 15:11:16 +0900 autobackup backup 2020-12-16
Wed, 16 Dec 2020 14:05:01 +0900 anatofuz init from Growi