Commits

Author Commit Message Labels Comments Date
camlspotter avatarcamlspotter
preparing 1.0.1 release
camlspotter avatarcamlspotter
Only first found annot/spot/cmt file was installed #FIX
camlspotter avatarcamlspotter
added annot patch for 4.00.1
camlspotter avatarcamlspotter
doc fix
camlspotter avatarcamlspotter
merge with 1.0.0
camlspotter avatarcamlspotter
opam change
camlspotter avatarcamlspotter
merge
camlspotter avatarcamlspotter
build fix
Branches
1.0.0
camlspotter avatarcamlspotter
opam fix
Branches
1.0.0
camlspotter avatarcamlspotter
build fix
Branches
1.0.0
camlspotter avatarcamlspotter
template
Branches
1.0.0
camlspotter avatarcamlspotter
build fix
Branches
1.0.0
camlspotter avatarcamlspotter
build fix
Branches
1.0.0
camlspotter avatarcamlspotter
oasis update
Branches
1.0.0
camlspotter avatarcamlspotter
auto update of OMyMakefile
camlspotter avatarcamlspotter
opam update
camlspotter avatarcamlspotter
added ocaml-version
camlspotter avatarcamlspotter
prefix for uninstall + backport from opam-repo
camlspotter avatarcamlspotter
auto update of OMyMakefile
camlspotter avatarcamlspotter
auto update of OMyMakefile
camlspotter avatarcamlspotter
auto update of OMyMakefile
camlspotter avatarcamlspotter
auto update of OMyMakefile
camlspotter avatarcamlspotter
checksum fix
camlspotter avatarcamlspotter
auto update of OMyMakefile
camlspotter avatarcamlspotter
camlspotter avatarcamlspotter
checksum
camlspotter avatarcamlspotter
descr
camlspotter avatarcamlspotter
opam files
camlspotter avatarcamlspotter
auto update of OMyMakefile
camlspotter avatarcamlspotter
updates for new OMyMakefile
  1. Prev
  2. Next
Help
Tip: Filter by directory path e.g. /media app.js to search for public/media/app.js.
Tip: Use camelCasing e.g. ProjME to search for ProjectModifiedEvent.java.
Tip: Filter by extension type e.g. /repo .js to search for all .js files in the /repo directory.
Tip: Separate your search with spaces e.g. /ssh pom.xml to search for src/ssh/pom.xml.
Tip: Use ↑ and ↓ arrow keys to navigate and return to view the file.
Tip: You can also navigate files with Ctrl+j (next) and Ctrl+k (previous) and view the file with Ctrl+o.
Tip: You can also navigate files with Alt+j (next) and Alt+k (previous) and view the file with Alt+o.