diff options
| author |  Théo Zimmermann <theo.zimmermann@univ-paris-diderot.fr> | 2018-04-09 14:16:52 +0200 |
|---|---|---|
| committer | Théo Zimmermann <theo.zimmermann@univ-paris-diderot.fr> | 2018-04-09 14:16:52 +0200 |
| commit | 6083ca1d7e654041861ffcd9a835b453717f637f (patch) | |
| tree | 50a9c5e27854121968bb3f27b35ef1f4dcedda48 /ide | |
| parent | fe3977512f18c269e82765995ee1e9ba5d6e4b43 (diff) | |
Merge script: adds a way for confirmation to expect a newline.
This fulfils Gaetan's wish.
Diffstat (limited to 'ide')
0 files changed, 0 insertions, 0 deletions