carpentry/pond
1
0
Fork 0
Code Issues Pull Requests Releases Wiki Activity

carp checkers: add carp checker and make it work

Browse Source
This commit is contained in:
Veit Heller
2019-12-16 12:03:18 +01:00
parent 5763bfc040
commit 3254a9e81d
32 changed files with 145 additions and 11 deletions
Download Patch File Download Diff File Expand all files Collapse all files

14
Pond.package/CarpError.class/properties.json Normal file
View File

@@ -0,0 +1,14 @@
{
"commentStamp" : "VeitHeller 12/14/2019 17:49",
"super" : "Error",
"category" : "Pond",
"classinstvars" : [ ],
"pools" : [ ],
"classvars" : [ ],
"instvars" : [
"parent",
"error"
],
"name" : "CarpError",
"type" : "normal"
}