comparison debian/prefs/mirrors @ 33730:b4c64f168b29

Remove gui() GMP_SET_DVD. It is used only internally, so copy the code right there.
author ib
date Tue, 05 Jul 2011 11:34:26 +0000
parents c9f9a077d760
children
comparison
equal deleted inserted replaced
33729:ecee548a8f6b 33730:b4c64f168b29