Commit 45a115f
ReadMe Installation fixes (#9)
## Description
[Corrected the "git clone" and "cd" commands]
## Type of change
- [ ] Bug fix
- [ ] New feature
- [x] Documentation update
- [ ] Code refactoring
---------
Co-authored-by: Catarina Gamboa <catarina.vg@hotmail.com>1 parent 0a6859a commit 45a115f
68 files changed
Lines changed: 13 additions & 131 deletions
File tree
- .github/workflows
- latte-umbrella
- .settings
- latte
- .github/workflows
- spooned
- examples
- latte
- src
- main
- java
- api
- context
- examples
- specification
- typechecking
- resources
- test
- examples
- searching_state_space
- stack_overflow
- java
Some content is hidden
Large Commits have some content hidden by default. Use the searchbox below for content that may be hidden.
| Original file line number | Diff line number | Diff line change | |
|---|---|---|---|
| |||
28 | 28 | | |
29 | 29 | | |
30 | 30 | | |
31 | | - | |
| 31 | + | |
32 | 32 | | |
33 | 33 | | |
34 | 34 | | |
35 | 35 | | |
36 | 36 | | |
37 | | - | |
| 37 | + | |
38 | 38 | | |
This file was deleted.
This file was deleted.
This file was deleted.
This file was deleted.
This file was deleted.
File renamed without changes.
File renamed without changes.
0 commit comments