diff options
| author | Guilhem Moulin <guilhem@fripost.org> | 2023-09-28 15:39:04 +0200 |
|---|---|---|
| committer | Guilhem Moulin <guilhem@fripost.org> | 2023-09-28 15:40:54 +0200 |
| commit | ee0d38dd8dce3572fd572ac532f1185ae84a0437 (patch) | |
| tree | ab0b5883c841d1aa90248c1139a03202709c8457 /COPYING | |
| parent | d068cc2a1058ba23515593a6e2fb8bd178946f5d (diff) | |
Allow overwriting an existing observation file.
(Or creating such file without creating a matching project.)
In this mode, --observation-file is mandatory and --project-name is left
unset. The file is silently overwritten.
Diffstat (limited to 'COPYING')
0 files changed, 0 insertions, 0 deletions