mug: quick & dirty port to webkit2gtk3

This commit is contained in:
Dirk-Jan C. Binnema
2019-08-01 22:12:23 +03:00
parent fc0ea805f5
commit 3885841473
7 changed files with 69 additions and 93 deletions

View File

@ -26,7 +26,7 @@
#include <string.h> /* for memset */
#include <mu-util.h>
#include <mu-store.h>
#include <mu-store.hh>
#include <mu-runtime.h>
#include <mu-index.h>