Tilman Vatteroth
e12dc523f8
Adjust editor config ( #976 )
...
* Adjust editor config
Signed-off-by: Tilman Vatteroth <tilman.vatteroth@tu-dortmund.de>
Co-authored-by: Erik Michelson <github@erik.michelson.eu>
2021-02-03 22:13:04 +01:00
Tilman Vatteroth
1b7abf9f27
Reorganize redux and hooks (1/4) ( #985 )
...
Signed-off-by: Tilman Vatteroth <tilman.vatteroth@tu-dortmund.de>
2021-02-01 22:55:49 +01:00
Tilman Vatteroth
0627e0f551
Replace document bar with sidebar ( #937 )
...
Signed-off-by: Tilman Vatteroth <tilman.vatteroth@tu-dortmund.de>
2021-01-24 21:39:47 +01:00
Tilman Vatteroth
908a5ce984
Rewrite tests ( #948 )
...
Signed-off-by: Tilman Vatteroth <tilman.vatteroth@tu-dortmund.de>
2021-01-15 21:54:43 +00:00
Tilman Vatteroth
3db6bcf892
Improve tests ( #944 )
...
Signed-off-by: Tilman Vatteroth <tilman.vatteroth@tu-dortmund.de>
2021-01-11 22:22:11 +00:00
Tilman Vatteroth
28600d6508
Change copyright year from 2020 to 2021 ( #917 )
...
* Change copyright year from 2020 to 2021
Signed-off-by: Tilman Vatteroth <tilman.vatteroth@tu-dortmund.de>
* Change copyright year in jetbrains copyright template
Signed-off-by: Tilman Vatteroth <tilman.vatteroth@tu-dortmund.de>
2021-01-06 21:37:59 +01:00
Philip Molares
f3bf7cd105
Added reuse information ( #782 )
...
Signed-off-by: Philip Molares <philip.molares@udo.edu>
2020-11-22 21:50:07 +01:00
Philip Molares
9f7a106834
added markdown export ( #627 )
2020-10-06 12:43:17 +02:00
