mirror of
https://github.com/Z3Prover/z3
synced 2025-04-08 10:25:18 +00:00
remove package lock
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
This commit is contained in:
parent
63f18a1d99
commit
8aa35f7fdb
6
package-lock.json
generated
6
package-lock.json
generated
|
@ -1,6 +0,0 @@
|
|||
{
|
||||
"name": "z3",
|
||||
"lockfileVersion": 3,
|
||||
"requires": true,
|
||||
"packages": {}
|
||||
}
|
Loading…
Reference in a new issue