diff options
author | Tilman Vatteroth | 2020-11-30 17:39:50 +0100 |
---|---|---|
committer | Tilman Vatteroth | 2020-11-30 17:39:50 +0100 |
commit | 4ae80a3ed08aac4dddc2bddb80b5da5d7e20df86 (patch) | |
tree | 7744a3ea9e018460bd4d61d433250887e03aa613 /.github | |
parent | a157599884c98667ca8dc608e6de4d70d0a1812d (diff) |
[Migrations] Replace similar code
Signed-off-by: Tilman Vatteroth <tilman.vatteroth@tu-dortmund.de>
Diffstat (limited to '.github')
0 files changed, 0 insertions, 0 deletions