Skip to content
[Jenkins]Jenkins
log in
In progress

Changes

Progress:

Summary

  1. Removed unused field in package_type (commit: 1aeb967) (details)
  2. Changes (commit: ac43baa) (details)
Commit 1aeb967946849b83fb909912e6ac939a3fa00582 by samuel.aime.vivien
Removed unused field in package_type
 (commit: 1aeb967)
The file was modifiedtyping/typedtree.mli (diff)
The file was modifiedtyping/typedtree.ml (diff)
The file was modifiedtyping/typetexp.ml (diff)
The file was modifiedtyping/typemod.ml (diff)
The file was modifiedtyping/typetexp.mli (diff)
The file was modifiedChanges (diff)