admin2/manual_teachbooks
1
0
Fork 0
mirror of https://github.com/TeachBooks/manual.git synced 2026-11-12 22:35:51 +00:00
Code Issues Projects Releases Packages Wiki Activity Actions

Update tools.md

Browse source
This commit is contained in:
Tom van Woudenberg 2025-04-03 14:25:51 +02:00 • committed by GitHub
parent b5eb1b2531
commit c5bee6c133
No known key found for this signature in database
GPG key ID: B5690EEEBB952194
1 changed files with 1 additions and 1 deletions
Download patch file Download diff file Expand all files Collapse all files

2
book/installation-and-setup/tools.md
View file

@ -1,4 +1,4 @@
````
````{margin}
```{admonition} User types
:class: tip
This page is useful for user type 4-5.