Repository for the developer documentation of Linera hosted on https://linera.dev

The documentation is imported from a suitable commit in the repository linera-protocol.

git submodule update --init

To discard local changes to the submodule (the equivalent of git checkout -f HEAD for files), use git submodule update.