diff options
author | Michael Vogt <michael.vogt@ubuntu.com> | 2012-01-16 22:17:23 +0100 |
---|---|---|
committer | Michael Vogt <michael.vogt@ubuntu.com> | 2012-01-16 22:17:23 +0100 |
commit | e70c1d067335bfa686fa0c6e75e32afb095e1aaa (patch) | |
tree | e985e74ed4d613126b24839d710e4b49db753824 /apt-pkg/deb/dpkgpm.h | |
parent | e75aa33384d52635fba502bed628bc68f9cb5066 (diff) | |
parent | 85e1885525977809ff6a3b70abb84d3a63e41817 (diff) |
merged from debian-experimental2
Diffstat (limited to 'apt-pkg/deb/dpkgpm.h')
-rw-r--r-- | apt-pkg/deb/dpkgpm.h | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/apt-pkg/deb/dpkgpm.h b/apt-pkg/deb/dpkgpm.h index 6b62360b7..aab39f633 100644 --- a/apt-pkg/deb/dpkgpm.h +++ b/apt-pkg/deb/dpkgpm.h @@ -15,6 +15,11 @@ #include <map> #include <stdio.h> +#ifndef APT_8_CLEANER_HEADERS +using std::vector; +using std::map; +#endif + class pkgDPkgPMPrivate; class pkgDPkgPM : public pkgPackageManager |