[alt-ergo/f16] Add a desktop file for the gui. Update to version 0.94. This means: - The theory of records replace

Jerry James jjames at fedoraproject.org
Tue Dec 6 16:49:06 UTC 2011


Summary of changes:

  0ed1c81... Add a desktop file for the gui. Update to version 0.94.  Th (*)

(*) This commit already existed in another branch; no separate mail sent


More information about the scm-commits mailing list