Lars Eggert ce050fc508 chore: Update bootstrap to 5.2.0 (#4034) ... * bootstrap -> 5.2.0 * Update other deps		2022-07-21 15:56:27 -05:00
..
css	chore: Update bootstrap to 5.2.0 (#4034)	2022-07-21 15:56:27 -05:00
images	feat: Switch to SVG logo; use it (and new bitmaps) in more places (#4035)	2022-05-31 17:03:43 -05:00
js	feat: Replace graphviz with d3 (#4067)	2022-07-21 12:14:45 -05:00
.gitignore	More fixes	2021-12-08 08:55:45 +00:00