diff options
| author | Matthias Clasen <mclasen@redhat.com> | 2019-05-08 16:58:11 +0000 |
|---|---|---|
| committer | Matthias Clasen <mclasen@redhat.com> | 2019-05-08 17:00:26 +0000 |
| commit | b3ff4154ec1119feb759504ddef2412d12698865 (patch) | |
| tree | 4645f8bdbe020fd976c115fec09eaabfe304a356 /docs | |
| parent | 879a0c118dc708c0b5ae3912ae51550305df5c27 (diff) | |
| download | gtk+-b3ff4154ec1119feb759504ddef2412d12698865.tar.gz | |
Drop the public profiler api
I meant to do this before merging the profiler
support. Somehow the commit got lost.
Diffstat (limited to 'docs')
| -rw-r--r-- | docs/reference/gdk/gdk4-sections.txt | 3 |
1 files changed, 0 insertions, 3 deletions
diff --git a/docs/reference/gdk/gdk4-sections.txt b/docs/reference/gdk/gdk4-sections.txt index d78790e343..8eb27f7c89 100644 --- a/docs/reference/gdk/gdk4-sections.txt +++ b/docs/reference/gdk/gdk4-sections.txt @@ -17,9 +17,6 @@ GDK_VERSION_MIN_REQUIRED GDK_VERSION_MAX_ALLOWED GDK_DISABLE_DEPRECATION_WARNINGS -<SUBSECTION Profiling> -gdk_profiler_set_mark - <SUBSECTION Standard> GDK_TYPE_GRAB_STATUS |