per1234 d07d83fdfe Move development documentation to a more suitable location ...

Previously, information about project development was stored in a file named BUILDING.md in the root of the repository.

That content is hereby moved to the file docs/development.md. This will provide the following benefits:

- Broaden the scope of the file to all information related to development rather than building only
- Store all documentation content under a single folder instead of randomly putting some in the root and others under
  docs

2022-09-15 05:53:09 -07:00

..

Arm.md

Move development documentation to a more suitable location

2022-09-15 05:53:09 -07:00

release-procedure.md

Update release procedure documentation

2022-09-08 13:30:36 -07:00

Ubuntu.md

Update Theia to 1.22.1 (#791)

2022-02-11 15:25:35 +01:00