<br><br><div class="gmail_quote">On Tue, May 25, 2010 at 10:36 AM, Eugen Wissner <span dir="ltr"><<a href="mailto:belka.ew@gmail.com">belka.ew@gmail.com</a>></span> wrote:<br><blockquote class="gmail_quote" style="margin: 0pt 0pt 0pt 0.8ex; border-left: 1px solid rgb(204, 204, 204); padding-left: 1ex;">
Should we use .txz
as extension or $PKGTYPE variable as earlier? <br></blockquote><div><br>I think we should still use $PKGTYPE, but the question is whether the default should be .txz. <br><br>Personally, I'm in favor of changing the default to txz. <br>
</div></div><br>