Update students.md

This commit is contained in:
Tom van Woudenberg 2025-04-14 11:32:29 +02:00 • committed by GitHub
parent 80522ec89a
commit 1a52bdf87d
No known key found for this signature in database
GPG key ID: B5690EEEBB952194

View file

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