diff options
| author | /dev/humancontroller <devhc@example.com> | 2014-07-13 00:02:11 +0200 |
|---|---|---|
| committer | /dev/humancontroller <devhc@example.com> | 2017-03-09 13:51:08 +0100 |
| commit | d2ed3dc7cca33023d901b15e1606ee56c3f5bd34 (patch) | |
| tree | 95e344bea2455dc406f44a27857f8bae3dda116f /src/ui | |
| parent | 7ba2937407eec4a6791c0d1b4b24d595bc25bcaf (diff) | |
allow duplicate GUIDs
Diffstat (limited to 'src/ui')
0 files changed, 0 insertions, 0 deletions