Closed github-actions[bot] closed 4 years ago
DocumentFormat.jl would suggest these formatting changes
Feel free to ignore this for now, this is a bit of an experiment, and I think right now DocumentFormat.jl is making some suggestions that I think are a bit too intrusive.
DocumentFormat.jl would suggest these formatting changes