diff options
author | Lars Windauer | 2021-04-14 20:48:55 +0200 |
---|---|---|
committer | GitHub | 2021-04-14 20:48:55 +0200 |
commit | a0e8a49beff57324b592a5f19c2126b81ce05f94 (patch) | |
tree | 55079638164c23998b3e0fed56112132c6efcbb6 /configs/archive/occon18 | |
parent | d3c805518a0a0349f56288559254f3107cf5e96c (diff) | |
parent | 65614f5d28efd098132aebd05bd2ab290c262d0b (diff) |
Merge pull request #142 from windauer/master
updated CADUS Debate config
Diffstat (limited to 'configs/archive/occon18')
0 files changed, 0 insertions, 0 deletions