diff options
author | Raghuram Subramani <raghus2247@gmail.com> | 2025-08-29 21:56:56 -0400 |
---|---|---|
committer | Raghuram Subramani <raghus2247@gmail.com> | 2025-08-29 21:56:56 -0400 |
commit | 9e8f04760c066bb85e482f3db29f1b6e3c040642 (patch) | |
tree | b4b72871f2412cb4000ee74f8b67874a893949f7 /projects/bubbl.md | |
parent | 6b17df9fd3ac90e044eb5d258f7a1d3d3ec0efa1 (diff) |
projects: {autograd,bubbl}: correct indentation
Diffstat (limited to 'projects/bubbl.md')
-rw-r--r-- | projects/bubbl.md | 16 |
1 files changed, 8 insertions, 8 deletions
diff --git a/projects/bubbl.md b/projects/bubbl.md index 2d1b8de..324b821 100644 --- a/projects/bubbl.md +++ b/projects/bubbl.md @@ -16,14 +16,14 @@ priority = 3 After entering the devshell (with direnv or `nix develop`), - ```sh - mkdir build && cd build - cmake -G Ninja .. - ninja - ``` +```sh +mkdir build && cd build +cmake -G Ninja .. +ninja +``` ## Running - ```sh - ninja run # or run-headless or run-gdb - ``` +```sh +ninja run # or run-headless or run-gdb +``` |