Skip to content
Snippets Groups Projects
Commit 1b624382 authored by Robbert Krebbers's avatar Robbert Krebbers
Browse files

Oops, fix previous commit.

parent e7c5fbe6
Branches
Tags
No related merge requests found
Pipeline #
Hide whitespace changes
Inline Side-by-side
Showing
with 0 additions and 4 deletions
opam.pins
+ 0
− 4
View file @ 1b624382
<<<<<<< HEAD
coq-iris https://gitlab.mpi-sws.org/FP/iris-coq f987ca782d1301d319cf6c4ba8e2ab449ebe903a coq-iris https://gitlab.mpi-sws.org/FP/iris-coq f987ca782d1301d319cf6c4ba8e2ab449ebe903a
=======
coq-iris https://gitlab.mpi-sws.org/FP/iris-coq 56f0afb23dc761c9a822a505d6d7d2cc435b681b
>>>>>>> 937f5230a0c0c9ef3f3cd87330fc210a2ca7ab11
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Please register or to comment