mirror of
https://github.com/idris-lang/Idris2.git
synced 2024-12-25 04:33:45 +03:00
Fix reference id
This commit is contained in:
parent
56e21fa27a
commit
3312961b54
@ -1,4 +1,4 @@
|
||||
.. _sect-execs:
|
||||
.. _sect-implnotes:
|
||||
|
||||
********************
|
||||
Implementation Notes
|
||||
|
Loading…
Reference in New Issue
Block a user