Closed cuihtlauac closed 2 days ago
We're only talking about filesystem things, therefore it should be directory, not folder
https://stackoverflow.com/questions/5078676/what-is-the-difference-between-a-directory-and-a-folder
Here are the files to be edited and the number of occurrences found per file as of creation of this issue
data/tutorials/getting-started/1_02_your_first_ocaml_program.md
data/tutorials/language/1ms_00_modules.md
data/tutorials/language/1ms_01_functors.md
data/tutorials/language/1ms_02_dune.md
data/tutorials/platform/0_09_opam_path.md
data/tutorials/platform/2_08_odoc.md
Credits: Thanks @MisterDA for reporting this
We're only talking about filesystem things, therefore it should be directory, not folder
https://stackoverflow.com/questions/5078676/what-is-the-difference-between-a-directory-and-a-folder
Here are the files to be edited and the number of occurrences found per file as of creation of this issue
data/tutorials/getting-started/1_02_your_first_ocaml_program.mddata/tutorials/language/1ms_00_modules.mddata/tutorials/language/1ms_01_functors.mddata/tutorials/language/1ms_02_dune.mddata/tutorials/platform/0_09_opam_path.mddata/tutorials/platform/2_08_odoc.mdCredits: Thanks @MisterDA for reporting this