diff options
| author | Piotr Miller <nwg.piotr@gmail.com> | 2020-02-19 00:56:00 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2020-02-19 00:56:00 +0100 |
| commit | e4a4e47b1822c78e8ad820198489106ce18f9259 (patch) | |
| tree | 292b45ac1e1ed58b112436b085ca4fa1dc07d596 /.gitignore | |
| parent | a4b07d72721ce641219aea412148a8faf20dc84b (diff) | |
| parent | 93d86f4c289ac5f6fbd4d2ddecbd8615bb456daa (diff) | |
| download | autotiling-e4a4e47b1822c78e8ad820198489106ce18f9259.tar.gz | |
Merge pull request #2 from ammgws/patch-1
Check if con exists before querying submembers
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions