diff options
| author | Andrea Berlingieri | 2019-06-16 16:10:00 +0200 |
|---|---|---|
| committer | Andrea Berlingieri | 2019-06-16 16:10:00 +0200 |
| commit | 812f1ca1fd60a9426786aa7b06add3ae7e860ebd (patch) | |
| tree | 45005dcf0f500bad76a69dc0bf72e3eb9cb2acd7 /matita.desktop | |
| parent | 24ae8fd4a44894d1153a610b3fcd92c17276a538 (diff) | |
| download | aur-812f1ca1fd60a9426786aa7b06add3ae7e860ebd.tar.gz | |
Add gmetadom dependency
Diffstat (limited to 'matita.desktop')
0 files changed, 0 insertions, 0 deletions