christianbraeunlich
|
14ac0bf363
|
replaced \_ by _
|
2022-02-05 20:10:43 +01:00 |
|
christianbraeunlich
|
b426977b42
|
formatted \[ to [ and \] to ]
|
2022-02-05 19:55:53 +01:00 |
|
christianbraeunlich
|
2fad891a77
|
formatted nav patterns
|
2022-02-05 18:19:26 +01:00 |
|
christianbraeunlich
|
7e4e21d223
|
change nav 1-patterns formatting
|
2021-12-05 19:02:27 +01:00 |
|
waldo
|
7f33b0180f
|
Changed "Eric Wauters" to his real name (just to try out the branching strategy)
|
2021-11-05 10:31:01 +01:00 |
|
Jeremy Vyska
|
f4886ee235
|
Reorganizing
|
2021-10-30 22:09:32 +02:00 |
|