diff options
| author | Andrew Guschin <guschin@altlinux.org> | 2024-09-11 13:35:26 +0400 |
|---|---|---|
| committer | Andrew Guschin <guschin@altlinux.org> | 2024-09-11 13:35:26 +0400 |
| commit | aa372ee41dff36de5cb94fbb677464658eef2e46 (patch) | |
| tree | 7171459bd61f224c243dd56c0bb9ed0daba35dfe /tables/nirdb.sqbpro | |
| parent | 8fb4ba6c422c6941189791a5cc4bfa08d16cb6f9 (diff) | |
chore: extracted theorem checks to separate function
Diffstat (limited to 'tables/nirdb.sqbpro')
0 files changed, 0 insertions, 0 deletions