History

Francis Brunelle 562f7d1b10 Merge branch 'dev' into 'dev'

# Conflicts:
#   gitlab-pages/docs/advanced/entrypoints-contracts.md
#   gitlab-pages/docs/language-basics/boolean-if-else.md
#   gitlab-pages/docs/language-basics/functions.md

2020-01-29 16:31:09 +00:00

docs

Merge branch 'dev' into 'dev'

2020-01-29 16:31:09 +00:00

examples

move before merging repositories

2019-05-27 16:56:47 +02:00

website

Merge branch 'dev' into 'dev'

2020-01-29 16:31:09 +00:00

.dockerignore

move before merging repositories

2019-05-27 16:56:47 +02:00

.gitignore

[LIGO-93] redesign profile pics

2019-09-27 19:10:48 +02:00

docker-compose.yml

Add ReasonLIGO support

2019-12-10 13:47:31 +00:00

Dockerfile

move before merging repositories

2019-05-27 16:56:47 +02:00

LICENSE

move before merging repositories

2019-05-27 16:56:47 +02:00

owner.pp.ligo

Revert "Merge with dev"

2019-11-07 23:19:27 +00:00

README.md

Add updated instructions for running/building the website

2019-08-02 16:52:23 -07:00

timestamp.pp.ligo

Revert "Merge with dev"

2019-11-07 23:19:27 +00:00

README.md

Ligo documentation

Running the documentation website

The website will be available at http://localhost:3000

To get the website running you want to do the commands:

cd website
npm run version next
cd ..
docker-compose up