diff options
| author | dec05eba <dec05eba@protonmail.com> | 2021-09-13 21:30:39 +0200 |
|---|---|---|
| committer | dec05eba <dec05eba@protonmail.com> | 2021-09-13 21:30:39 +0200 |
| commit | b97c4c3ccad3c917e2073329e8d1c7b7351e96aa (patch) | |
| tree | 0e5b5791ace6f1f72dac4ce42ca5d990165fc3c7 /plugins/Mangadex.hpp | |
| parent | a9d69f57a0cd4f9cccff07b2890a860695d1e7ed (diff) | |
Include refactoring
Diffstat (limited to 'plugins/Mangadex.hpp')
| -rw-r--r-- | plugins/Mangadex.hpp | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/plugins/Mangadex.hpp b/plugins/Mangadex.hpp index 67f68b7..b92489d 100644 --- a/plugins/Mangadex.hpp +++ b/plugins/Mangadex.hpp @@ -2,6 +2,7 @@ #include "Manga.hpp" #include <functional> +#include <optional> namespace QuickMedia { PluginResult legacy_mangadex_id_to_new_manga_id(Page *page, const std::vector<int> &manga_ids, std::vector<std::pair<int, std::string>> &new_manga_ids); |