diff options
| author | Rémi Verschelde <remi@verschelde.fr> | 2016-06-19 13:11:07 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2016-06-19 13:11:07 +0200 |
| commit | 42cbdc26b83db39b82546aebd61ec72cd815ebb3 (patch) | |
| tree | 723e8bee17bb113843e2c1a0f9a9c727b520260b /modules/regex/config.py | |
| parent | 8a27835bca1e4462b372bdc6e3a7f3da4ad21a07 (diff) | |
| parent | 939ec3693043aabb7c0223b48955bc2d1012402c (diff) | |
Merge pull request #5290 from djrm/new_icons
Added missing icons for some nodes
Diffstat (limited to 'modules/regex/config.py')
0 files changed, 0 insertions, 0 deletions