diff options
| author | Fabian Henneke <FabianHenneke@users.noreply.github.com> | 2020-07-30 10:00:35 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2020-07-30 10:00:35 +0200 |
| commit | 8481491994f51127aa04aebcd26904ad904d6a77 (patch) | |
| tree | 36232d3c236d868652fcafa180d0c45df5a3d9ee /.idea/runConfigurations.xml | |
| parent | 6ca02eb371a18fd39ccd856d9c88f1728fb4ec90 (diff) | |
Add "challenge" and "verification" to OTP heuristic terms (#984)
Diffstat (limited to '.idea/runConfigurations.xml')
0 files changed, 0 insertions, 0 deletions