diff options
| author | Guilhem Moulin <guilhem@fripost.org> | 2023-09-28 14:51:35 +0200 |
|---|---|---|
| committer | Guilhem Moulin <guilhem@fripost.org> | 2023-09-28 15:19:01 +0200 |
| commit | d068cc2a1058ba23515593a6e2fb8bd178946f5d (patch) | |
| tree | a522fea2d6ad4fb69d549f7f9b0e223ab1220a12 /COPYING | |
| parent | b5c5e586bf27214aa68dcee20c610e00f2b9c745 (diff) | |
Add option --observation-file to choose a custom observation file name.
(Relative to project home.) Format is derived from its extension when
possible.
Diffstat (limited to 'COPYING')
0 files changed, 0 insertions, 0 deletions