Commit graph

11 commits

Author SHA1 Message Date
7a0c33ca05
chore: capitalize chapters
Signed-off-by: Matej Focko <xfocko@fi.muni.cz>
2023-06-10 18:03:33 +02:00
2c0d77b689
ib002(graphs): convert pseudocode to Ada
cause why not…

Signed-off-by: Matej Focko <mfocko@redhat.com>
2023-02-04 18:06:49 +01:00
52b3ccdf83
chore(svg): generate light/dark mode DOTs
Signed-off-by: Matej Focko <mfocko@redhat.com>
2023-02-04 17:54:15 +01:00
39e6d5196b
fix: redo descriptions and add tags
Signed-off-by: Matej Focko <mfocko@redhat.com>
2022-12-11 21:30:38 +01:00
fa0ff486a3
chore(ib002,ib111): use consistent naming
Signed-off-by: Matej Focko <mfocko@redhat.com>
2022-11-29 18:04:49 +01:00
3bd003cdcd
fix(ib002,ib111): typo in path to the sources
Signed-off-by: Matej Focko <mfocko@redhat.com>
2022-11-29 15:32:15 +01:00
e71fcfdf4f
feat(ib002,ib111): add backtracking exercise
Signed-off-by: Matej Focko <mfocko@redhat.com>
2022-11-29 15:21:48 +01:00
9f9dc39a31
chore: do not keep SVGs in the repository
• Do not keep the SVG files in the repository, generate them just for
  the builds
• Also generate ZIP files with sources for downloading

Signed-off-by: Matej Focko <mfocko@redhat.com>
2022-11-24 17:25:30 +01:00
7efd5e294b
chore: use Iosevka as a default font
• Use Iosevka as a default font (with few reasonable fallbacks)
• Introduce a „steam machine“ for regenerating graphviz files
  · Use same monospace fonts for graphviz too

Signed-off-by: Matej Focko <mfocko@redhat.com>
2022-11-18 11:57:56 +01:00
33419ca64f
chore: update slugs of intro pages
To make sure that we don't get directory listing when not explicitly
specifying the ‹intro› page.

Signed-off-by: Matej Focko <mfocko@redhat.com>
2022-11-05 22:46:51 +01:00
7427475022
chore: transfer all KBs to single one
Signed-off-by: Matej Focko <mfocko@redhat.com>
2022-11-05 15:25:15 +01:00