bac8e34245 · Fixed issue when a file tracked by git is modified by previous compilation · Updated 11 months ago
Deleting a branch is permanent. It CANNOT be undone. Continue?