diff docs/src/operator_file_format.md @ 967:84ca744f2f06

Remove completed TODO. Woho!
author Vidar Stiernström <vidar.stiernstrom@it.uu.se>
date Mon, 14 Mar 2022 11:10:42 +0100
parents fe8fe3f01162
children 7bf3121c6864
line wrap: on
line diff