Code

dep: bump mill-scip to 0.3.6#648

Code

Merged

Strum355 merged 1 commit intosourcegraph:mainsourcegraph/scip-java:mainfrom ckipp01:millScipckipp01/scip-java:millScipCopy head branch name to clipboardSep 26, 2023

+1-1

Commits

Commits on Sep 16, 2023

• dep: bump mill-scip to 0.3.6

  ckipp01

  committed
  58aba7e