Skip to content
Snippets Groups Projects
Commit 1186fcc8 authored by Ralf Jung's avatar Ralf Jung
Browse files

we actually dont have a license for this stuff (yet)

parent 008272d0
No related branches found
No related tags found
No related merge requests found
Pipeline #
Hide whitespace changes
Inline Side-by-side
Showing
with 0 additions and 1 deletion
opam
+ 0
− 1
View file @ 1186fcc8
......@@ -5,7 +5,6 @@ maintainer: "Ralf Jung <jung@mpi-sws.org>"
authors: "The RustBelt Team"
homepage: "http://plv.mpi-sws.org/rustbelt/"
bug-reports: "https://gitlab.mpi-sws.org/FP/lambdaRust-coq/issues"
license: "BSD"
dev-repo: "https://gitlab.mpi-sws.org/FP/lambdaRust-coq.git"
build: [
[make "-j%{jobs}%"]
......
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment