Skip to content

Commit

Permalink
Updates submodules
Browse files Browse the repository at this point in the history
  • Loading branch information
@ArquintL @github-actions
ArquintL authored and github-actions[bot] committed Jan 1, 2025
1 parent be1c439 commit e903bf0
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion viperserver
Submodule viperserver updated 3 files
+1 −1 carbon
+1 −1 silicon
+1 −0 src/main/scala/viper/server/frontends/http/jsonWriters/ViperIDEProtocol.scala

0 comments on commit e903bf0

Please sign in to comment.