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
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
Tilman Vatteroth
66258ca615
Change indentation for json files to 4 spaces and reformat json files
...
Signed-off-by: Tilman Vatteroth <tilman.vatteroth@tu-dortmund.de>
2020-08-15 22:53:44 +02:00
Philip Molares
eba59ae622
better linting ( #72 )
...
Improve linting and fix linting errors
Signed-off-by: Philip Molares <philip.molares@udo.edu>
Signed-off-by: Tilman Vatteroth <tilman.vatteroth@tu-dortmund.de>
2020-05-27 15:43:28 +02:00
