diff options
| author | Andrew Guschin <guschin.drew@gmail.com> | 2023-08-13 18:15:01 +0400 |
|---|---|---|
| committer | Andrew Guschin <guschin.drew@gmail.com> | 2023-08-13 18:15:01 +0400 |
| commit | 677e15fefe5c61b833dcbe2fa4e9ee90bc996f8c (patch) | |
| tree | a47ed4c0c5fe9fbbdbc105d9f15b1f264a88e8c6 /nauty/.gitignore | |
| parent | 9b3601717c8cae243667bd6e72adb08476779172 (diff) | |
Diffstat (limited to 'nauty/.gitignore')
0 files changed, 0 insertions, 0 deletions