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/environ.mli | |
parent | a4909dd5f8d5df773a361a7cbacefc392b7cfebd (diff) |
Add new options --no-conflict and --no-signature-check to backport script.
Diffstat (limited to 'kernel/environ.mli')
0 files changed, 0 insertions, 0 deletions