diff options
| author | Michael Vogt <mvo@debian.org> | 2013-11-29 08:38:12 +0100 |
|---|---|---|
| committer | Michael Vogt <mvo@debian.org> | 2013-11-29 08:38:12 +0100 |
| commit | faeb435cab7b41a50c621ef9f96853d15c57d0d8 (patch) | |
| tree | c2554080ab4a46b0cfdd1eba7fb0767328e75c44 /apt-private/private-sources.h | |
| parent | c1a61d1ca91e0a0a79b8c1be3fe04bcfa12cf0dc (diff) | |
| parent | cf993341c2067ee091cfd51e5da0e237babce171 (diff) | |
Merge branch 'feature/edit-sources' into debian/sid
Diffstat (limited to 'apt-private/private-sources.h')
| -rw-r--r-- | apt-private/private-sources.h | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/apt-private/private-sources.h b/apt-private/private-sources.h new file mode 100644 index 000000000..b394622be --- /dev/null +++ b/apt-private/private-sources.h @@ -0,0 +1,3 @@ +#include <apt-pkg/cmndline.h> + +bool EditSources(CommandLine &CmdL); |