Temporary stuff.

This commit is contained in:
2023-08-05 12:21:30 +02:00
parent bcfb41917a
commit 9dde163a3c
5 changed files with 148 additions and 77 deletions
@@ -1,14 +1,5 @@
{
"pins" : [
{
"identity" : "down",
"kind" : "remoteSourceControl",
"location" : "https://github.com/iwasrobbed/Down",
"state" : {
"branch" : "master",
"revision" : "e754ab1c80920dd51a8e08290c912ac1c2ac8b58"
}
},
{
"identity" : "highlightr",
"kind" : "remoteSourceControl",