diff options
| author | MarcoFalke <falke.marco@gmail.com> | 2019-02-07 19:18:02 -0500 |
|---|---|---|
| committer | MarcoFalke <falke.marco@gmail.com> | 2019-02-07 19:16:57 -0500 |
| commit | faf3d2272594834bc4b7c7a127a396cd6c810cdb (patch) | |
| tree | 9a3b96f459d0249a7bd32852956d2ee00545836c /doc/developer-notes.md | |
| parent | 72d34c0edc5ad9e69e0d054459ec15d2278f206b (diff) | |
test_runner: Remove unused --force option
Diffstat (limited to 'doc/developer-notes.md')
0 files changed, 0 insertions, 0 deletions