-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA1 Format: 1.7 Date: Tue, 23 Sep 2003 18:35:50 +0200 Source: jed-extra Binary: jed-extra Architecture: source all Version: 0.1.6 Distribution: unstable Urgency: low Maintainer: Rafael Laboissiere <rafael@debian.org> Changed-By: Rafael Laboissiere <rafael@debian.org> Description: jed-extra - Collection of useful JED modes and utilities Closes: 212387 Changes: jed-extra (0.1.6) unstable; urgency=low . * patch/03-fix-home-jedrc.patch: Added patch to allow sane initialization of Jed_Home_Directory when $HOME/.jed exists. Thanks to Jörg Sommer <joerg@alea.gnuu.de> (closes: #212387). Files: 1eddf523f43e0e1d84d6075aed53655c 526 editors optional jed-extra_0.1.6.dsc 8ec12e985b441f417d6f481b3a65a35e 28871 editors optional jed-extra_0.1.6.tar.gz b4f7ce4ef9dd2be2556c0a8361812bb7 35678 editors optional jed-extra_0.1.6_all.deb -----BEGIN PGP SIGNATURE----- Version: GnuPG v1.2.3 (GNU/Linux) iD8DBQE/cHcFk3oga0pdcv4RAjm1AJ9MwqtoDiTzF33FY9Q0Y7OGrknqowCggPiq CxDRmmtOA9e6HtF6F7y8bcI= =Bvc0 -----END PGP SIGNATURE----- Accepted: jed-extra_0.1.6.dsc to pool/main/j/jed-extra/jed-extra_0.1.6.dsc jed-extra_0.1.6.tar.gz to pool/main/j/jed-extra/jed-extra_0.1.6.tar.gz jed-extra_0.1.6_all.deb to pool/main/j/jed-extra/jed-extra_0.1.6_all.deb -- To UNSUBSCRIBE, email to debian-devel-changes-request@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmaster@lists.debian.org
