Files

 main

/

opamdiff

/

Copy path

Directory actions

More options

Directory actions

More options

Latest commit

 

History

History

/

opamdiff

/

Top

Folders and files

Name		Name	Last commit message	Last commit date
parent directory ..
dune		dune	Compute and present the opam file differences as a unified diff	Jan 7, 2025
opamdiff.ml		opamdiff.ml	Fix label for right file	Jan 10, 2025
opamdiff.mli		opamdiff.mli	remove more unneeded code	Jan 7, 2025
View all files