diff options
| author | Michael Vogt <michael.vogt@ubuntu.com> | 2011-09-14 20:30:15 +0200 |
|---|---|---|
| committer | Michael Vogt <michael.vogt@ubuntu.com> | 2011-09-14 20:30:15 +0200 |
| commit | 3e60519c4a2f7baf59553f94700646f4fef4d28d (patch) | |
| tree | 0b5c7deb860eed58c40c472bb62c6fa00e281af6 /apt-pkg/deb/dpkgpm.h | |
| parent | cbfc289d6eb2711ef12033e4eb024befd0b31815 (diff) | |
| parent | 75a90b93257ea81d42331c03b56bd6589c62e065 (diff) | |
merged from donkult
Diffstat (limited to 'apt-pkg/deb/dpkgpm.h')
| -rw-r--r-- | apt-pkg/deb/dpkgpm.h | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/apt-pkg/deb/dpkgpm.h b/apt-pkg/deb/dpkgpm.h index ddf9485c7..3f95c51dc 100644 --- a/apt-pkg/deb/dpkgpm.h +++ b/apt-pkg/deb/dpkgpm.h @@ -106,4 +106,6 @@ class pkgDPkgPM : public pkgPackageManager virtual ~pkgDPkgPM(); }; +void SigINT(int sig); + #endif |