Skip to content

Commit

Permalink
Merge pull request #66 from mchadalavada/main
Browse files Browse the repository at this point in the history
Update p pre-requisite version in docs
  • Loading branch information
ankushdesai authored Sep 19, 2023
2 parents 84626e2 + 2516f3a commit 5d2ce65
Show file tree
Hide file tree
Showing 2 changed files with 3 additions and 3 deletions.
4 changes: 2 additions & 2 deletions Docs/docs/installingPeasy.md
Original file line number Diff line number Diff line change
Expand Up @@ -14,10 +14,10 @@

**[Step 1] Install P**

Follow the [installing P](https://p-org.github.io/P/getstarted/install/) instructions to install P locally (version >= 2.0.19), depending on your platform.
Follow the [installing P](https://p-org.github.io/P/getstarted/install/) instructions to install P locally (version >= 2.0.20), depending on your platform.


??? note "Make sure that you installed the right version of P (i.e., version >= 2.0.19)"
??? note "Make sure that you installed the right version of P (i.e., version >= 2.0.20)"

Run `p --version` command to get the version of P

Expand Down
2 changes: 1 addition & 1 deletion Docs/mkdocs.yml
Original file line number Diff line number Diff line change
@@ -1,6 +1,6 @@
site_name: "Peasy"
site_url: http://p-org.github.io/Peasy/
site_description: "Peasy: An Intuitive Development Environment for P"
site_description: "Peasy: An easy-to-use development environment for P"
site_author: "P Team @ AWS"

repo_url: https://github.com/p-org/peasy-ide-vscode
Expand Down

0 comments on commit 5d2ce65

Please sign in to comment.