diff options
| author | Hui Lan <lanhui@zjnu.edu.cn> | 2020-02-11 17:55:54 +0800 |
|---|---|---|
| committer | Hui Lan <lanhui@zjnu.edu.cn> | 2020-02-11 17:55:54 +0800 |
| commit | 4d160e467174db938f4197715639198b206d591b (patch) | |
| tree | 38c064eedd3d4a30c81590a07b34cf13b4ccdb98 /.gitignore | |
| parent | 5eef69227ab44849ea46f74a735c2dfecb7dda89 (diff) | |
merge_edges.py: consider all files in directory EDGE_POOL whose file name starts with 'edegs'
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions