Select Git revision
sections
Open with
- Visual Studio Code
- IntelliJ IDEA
Download source code
Download directory
Your workspaces
A workspace is a virtual sandbox environment for your code in GitLab.
No agents available to create workspaces. Please consult Workspaces documentation for troubleshooting.
Dmytro Bogatov authored
Code owners
Assign users and groups as approvers for specific file changes. Learn more.
| Name | Last commit | Last update |
|---|---|---|
| .. | ||
| all-sections.tex | ||