Installation for developers
In this section we will talk about needed tools in order to extend and work with leia environment locally. This guide is intended to be used by a LEIA contributor, which means its more complicated than the ussual installation. If you are meant to extend or work with leia please read on.