diff options
| author | Rémi Verschelde <remi@verschelde.fr> | 2016-05-01 23:06:17 +0200 |
|---|---|---|
| committer | Rémi Verschelde <remi@verschelde.fr> | 2016-05-01 23:06:17 +0200 |
| commit | d6304855c5e83b6a04442091a83453b65bc73f69 (patch) | |
| tree | 3373390fb5307975067941a27b92e8adb9263a60 /modules/regex/config.py | |
| parent | 23f04abfb7241158cd6e9446280f1f7d14cb2b88 (diff) | |
| parent | 21c181bd3ce5c13b346f44af362a779e742ec344 (diff) | |
Merge pull request #4506 from akien-mga/pr-tabs
Tabs: Various fixes for multiple tabs and right/close buttons position
Diffstat (limited to 'modules/regex/config.py')
0 files changed, 0 insertions, 0 deletions