diff options
| author |  Théo Zimmermann <theo.zimmermann@univ-paris-diderot.fr> | 2018-06-18 10:59:58 +0200 |
|---|---|---|
| committer | Théo Zimmermann <theo.zimmermann@univ-paris-diderot.fr> | 2018-07-10 10:55:27 +0200 |
| commit | dda46c6024f8d315111f60393417bbee4db5693e (patch) | |
| tree | 84e84b0e453877a9c47c00f4a50aa83ba890ec60 /kernel/sorts.ml | |
| parent | a4909dd5f8d5df773a361a7cbacefc392b7cfebd (diff) | |
Add new options --no-conflict and --no-signature-check to backport script.
Diffstat (limited to 'kernel/sorts.ml')
0 files changed, 0 insertions, 0 deletions