Home GnuPG

Rename device driver during install
9d554885d578Unpublished

Unpublished Commit · Learn More

Not On Permanent Ref: This commit is not an ancestor of any permanent ref.

Description

Rename device driver during install

Details

Provenance
wernerAuthored on Apr 14 2010, 1:20 PM
Parents
rA9356bf0f1c72: Changes for W32CE
Branches
Unknown
Tags
Unknown

Event Timeline

Werner Koch <wk@gnupg.org> committed rA9d554885d578: Rename device driver during install (authored by Werner Koch <wk@gnupg.org>).Apr 14 2010, 1:20 PM