diff options
| author | Thierry Vignaud <tv@mandriva.org> | 2009-02-10 13:54:19 +0000 |
|---|---|---|
| committer | Thierry Vignaud <tv@mandriva.org> | 2009-02-10 13:54:19 +0000 |
| commit | 2e1111d6fe6a5663d5c6ebafd8bcb5beccf660fb (patch) | |
| tree | 3c1cbf4c8e3924939d2b05d58b0dfd0aff97a6be /urpmi.removemedia | |
| parent | 8026ff19e24847787bbfc5f876dc6a53e044a993 (diff) | |
| download | urpmi-2e1111d6fe6a5663d5c6ebafd8bcb5beccf660fb.tar urpmi-2e1111d6fe6a5663d5c6ebafd8bcb5beccf660fb.tar.gz urpmi-2e1111d6fe6a5663d5c6ebafd8bcb5beccf660fb.tar.bz2 urpmi-2e1111d6fe6a5663d5c6ebafd8bcb5beccf660fb.tar.xz urpmi-2e1111d6fe6a5663d5c6ebafd8bcb5beccf660fb.zip | |
(do_install_3) warn when rebooting is needed after installing packages
Diffstat (limited to 'urpmi.removemedia')
0 files changed, 0 insertions, 0 deletions