diff options
| author | Andrea Berlingieri | 2019-06-16 16:46:13 +0200 |
|---|---|---|
| committer | Andrea Berlingieri | 2019-06-16 16:46:13 +0200 |
| commit | adce492e531c18124d69f4fa0054b03858063a7e (patch) | |
| tree | 616a69fdaefa240bf7dd35b20f5822c7257856f3 /matita.desktop | |
| parent | 812f1ca1fd60a9426786aa7b06add3ae7e860ebd (diff) | |
| download | aur-matita.tar.gz | |
Add ocaml-mysql dependency
Diffstat (limited to 'matita.desktop')
0 files changed, 0 insertions, 0 deletions