-
Samuel Chassot authored
* make inox submodule tracking main branch * fix deprecated syntax in StainlessPlugin.scala * wrong return type for def globalSettings in StainlessPlugin.scala * add note about submodules in the readme
GitLab is being upgraded to latest version (16.11.2). No downtime is expected.
* make inox submodule tracking main branch * fix deprecated syntax in StainlessPlugin.scala * wrong return type for def globalSettings in StainlessPlugin.scala * add note about submodules in the readme