Kevin Cox 8b33d575e4
Merge pull request #98084 from turion/patch-5
agda.section.md: Fix header and enumeration
2020-10-11 07:29:58 -04:00
..
2020-09-23 01:25:25 +02:00
2020-09-23 01:25:25 +02:00
2020-07-31 15:06:53 +10:00
2020-10-03 18:49:10 +10:00
2020-09-23 01:25:25 +02:00
2020-07-18 14:23:25 +09:00
2019-01-08 15:08:42 +00:00