Feature: Add export discretization length for JSON-export

Addresses and closes #17 (closed).

added enhancement label

requested review from @lorax66

added 1 commit

• 8501afaf - Address line length

Compare with previous version

The documentation and implementation of this feature do not fit. One is the reciprocal of the other. I think the version in the documentation is more intuitive and we should change the implementation to be consistent.

requested changes

resolved all threads

added 1 commit

• ed98da8d - Apply 3 suggestion(s) to 2 file(s)

Compare with previous version

approved this merge request

enabled an automatic merge when all merge checks for ed98da8d pass

merged

mentioned in commit fe24cd4e