pages*/*: update outdated pages, pages/*: fix placeholders (#14171)

This commit is contained in:
Sebastiaan Speck
2024-10-13 18:33:01 +02:00
committed by GitHub
parent ae804a9614
commit 3d6d73a9d1
84 changed files with 153 additions and 161 deletions

View File

@@ -21,4 +21,4 @@
- Запустить REPL со списком папок, разделённых двоеточием, в которых нужно искать исходные файлы:
`ghci -i{{путь/до/папки1}}:{{путь/до/папки2}}`
`ghci -i{{путь/до/папки1:путь/до/папки2:...}}`