[frama-c/f21] Add comment to desktop file.
Jerry James
jjames at fedoraproject.org
Wed Aug 13 18:54:30 UTC 2014
Summary of changes:
9afafea... Add comment to desktop file. (*)
(*) This commit already existed in another branch; no separate mail sent
More information about the scm-commits
mailing list