diff --git a/docs/literate/src/files/changing_trixi.jl b/docs/literate/src/files/changing_trixi.jl index 014d3436e19..fd6c2ea4a3d 100644 --- a/docs/literate/src/files/changing_trixi.jl +++ b/docs/literate/src/files/changing_trixi.jl @@ -1,7 +1,7 @@ #src # Changing Trixi.jl itself # If you plan on editing Trixi.jl itself, you can download Trixi.jl locally and run it from -# the cloned directory: +# the cloned directory. # ## Cloning Trixi.jl