diff options
| author | Raghuram Subramani <raghus2247@gmail.com> | 2025-08-29 14:22:59 -0400 |
|---|---|---|
| committer | Raghuram Subramani <raghus2247@gmail.com> | 2025-08-29 14:22:59 -0400 |
| commit | 41d38509d46e27ad464798a23e7d39d29ac170d9 (patch) | |
| tree | 73623893798c17bbab0ca30a95e7754be5d06a6d /projects/bubbl.md | |
| parent | 79cd78e1c2e10261387560f752cb9bfedf1b1d0c (diff) | |
misc: re-indent
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 324b821..2d1b8de 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 + ``` |