Remove deprecated elements
This commit is contained in:
parent
e92b01c528
commit
015cd7a3d0
17 changed files with 19 additions and 204 deletions
2
Gopkg.lock
generated
2
Gopkg.lock
generated
|
@ -1769,6 +1769,6 @@
|
|||
[solve-meta]
|
||||
analyzer-name = "dep"
|
||||
analyzer-version = 1
|
||||
inputs-digest = "f323b06b4963d6cec0eee5b88dd4e85d6b2e80ea41418154a8a57a0dae574bcd"
|
||||
inputs-digest = "0b453fff40221eb9d779eeb4ad75fc076e8cbd93c1ecf058f4b9411d4afddf68"
|
||||
solver-name = "gps-cdcl"
|
||||
solver-version = 1
|
||||
|
|
Loading…
Add table
Add a link
Reference in a new issue