Web-Projects/blog-static
1
0
Fork 0
Code Issues Pull Requests Releases Wiki Activity

Update the referenced Agda submodule

Browse Source 
Signed-off-by: Danila Fedorin <danila.fedorin@gmail.com>
This commit is contained in:
Danila Fedorin 2024-08-18 10:30:21 -10:00
parent 7ccbaa7829
commit 32fe8e5ee6
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
code/agda-spa

@ -1 +1 @@
Subproject commit f0da9a902005b24db4e03a89c2862493735467c4 Subproject commit 828b652d3b9266e27ef7cf5a8a7fb82e3fd3133f