diff options
| author | Aqua-sama <aqua@iserlohn-fortress.net> | 2018-06-07 13:03:47 +0200 |
|---|---|---|
| committer | Aqua-sama <aqua@iserlohn-fortress.net> | 2018-06-07 13:03:47 +0200 |
| commit | 7707fb4ed8ad8c951d9f41ce39823093d30a9f67 (patch) | |
| tree | a70e08ba2d03afb68109ea89f370f8873e3645f5 /src/webengine/widgets/pagetoolsmenu.h | |
| parent | Don't copy profiles into profile manager plugin (diff) | |
| download | smolbote-7707fb4ed8ad8c951d9f41ce39823093d30a9f67.tar.xz | |
Split webengine/webprofile into lib/web
Diffstat (limited to 'src/webengine/widgets/pagetoolsmenu.h')
0 files changed, 0 insertions, 0 deletions