rhi/idris2-tap
1
0
Fork 0
Code Issues 1 Pull requests Projects Releases Wiki Activity

bump pack collection

Browse source
This commit is contained in:
rhiannon morris 2023-03-24 21:56:11 +01:00
parent aba132b542
commit 48b14e5980
1 changed files with 1 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
pack.toml
View file

@ -1,4 +1,4 @@
collection = "nightly-230301" collection = "nightly-230323"
[custom.all.tap] [custom.all.tap]
type = "local" type = "local"