commit: 78d08192c64c3195e6b679aba048ef95b938fdbe

[log]
author: Sebastian Ullrich <sebasti@nullri.ch>

Wed Jul 24 14:47:55 2024 +0200
committer: Sebastian Ullrich <sebasti@nullri.ch>

Wed Jul 24 14:47:55 2024 +0200
tree: 4467f4017ed09706d665d2f4e1505950f0c82579
parent: 632030a670c943a1adef7fec6ffcd232494f4748 [diff]

make sure prefix of spaces path exists

tests/pkg/path[Added - diff]
tests/pkg/path with spaces/.gitignore[Renamed from tests/pkg/spaces/.gitignore - diff]
tests/pkg/path with spaces/Main.lean[Renamed from tests/pkg/spaces/Main.lean - diff]
tests/pkg/path with spaces/lakefile.toml[Renamed from tests/pkg/spaces/lakefile.toml - diff]
tests/pkg/path with spaces/test.sh[Renamed from tests/pkg/spaces/test.sh - diff]

5 files changed

tree: 4467f4017ed09706d665d2f4e1505950f0c82579

README.md

This is the repository for Lean 4.

About

Installation

See Setting Up Lean.

Contributing

Please read our Contribution Guidelines first.

Building from Source

See Building Lean (documentation source: doc/make/index.md).