blob: 1540edc852d276768701f1f82e82c9110533c686 (
plain)
1
2
3
4
5
6
7
8
9
10
|
--- src/page.hxx.orig 2015-09-12 16:17:47.278955852 +0200
+++ src/page.hxx 2015-09-12 16:17:53.706972174 +0200
@@ -15,6 +15,7 @@
#include <vector>
#include <string>
#include <map>
+#include <array>
#include "config.hxx"
|
GitWeb