woxtu 4b4ff08131 Change the metadata format (#457) ...

* Chnage the metadata format

* Add syntax highlighting

* have simple_clock example run from local build to test change

Co-authored-by: Fabio Pliger <fabio.pliger@gmail.com>

2022-06-01 15:49:41 -03:00

..

deployment.md

Documentation infrastructure. (#262)

2022-05-17 12:08:06 -05:00

getting-started.md

Change the metadata format (#457)

2022-06-01 15:49:41 -03:00

index.md

Documentation infrastructure. (#262)

2022-05-17 12:08:06 -05:00

setup.md

Documentation infrastructure. (#262)

2022-05-17 12:08:06 -05:00