Skip to content

Commit

Permalink
back to ignoring wollok-web-tools files
Browse files Browse the repository at this point in the history
  • Loading branch information
fdodino committed Oct 20, 2024
1 parent 1ddb793 commit f927258
Show file tree
Hide file tree
Showing 4 changed files with 3 additions and 146 deletions.
4 changes: 2 additions & 2 deletions .gitignore
Original file line number Diff line number Diff line change
Expand Up @@ -12,7 +12,7 @@ src/wre/wre.json
coverage
.DS_Store
/public/diagram/lib/*
/public/game/lib/socket*
/public/game/lib/p5*
/public/diagram/diagram-index.js
/public/game/lib/*
log/*
wollok.log
2 changes: 1 addition & 1 deletion package.json
Original file line number Diff line number Diff line change
Expand Up @@ -31,7 +31,7 @@
"build": "shx rm -rf build && shx mkdir ./build && shx cp -r ./public ./build/public && tsc -p ./tsconfig.build.json",
"watch": "npm run build -- -w",
"pack": "pkg .",
"prepublishOnly": "npm run build && npm run test"
"prepublishOnly": "npm run prepare && npm run build && npm run test"
},
"bin": {
"wollok": "./build/src/index.js"
Expand Down
141 changes: 0 additions & 141 deletions public/diagram/diagram-index.js

This file was deleted.

2 changes: 0 additions & 2 deletions public/game/lib/game-index.js

This file was deleted.

0 comments on commit f927258

Please sign in to comment.