diff options
| author | Andreas Baumann <mail@andreasbaumann.cc> | 2018-08-27 20:00:39 +0200 |
|---|---|---|
| committer | Andreas Baumann <mail@andreasbaumann.cc> | 2018-08-27 20:00:39 +0200 |
| commit | b265ff7afab5cdbd449d1f440e7e0e95105f2143 (patch) | |
| tree | ee462847e09d6c61f1f5b10bd5a408269158ab8b /extra/gnome-desktop | |
| parent | 913e651aec1bc026cd1fba641d8cf0a9bbf7dbda (diff) | |
| download | packages-b265ff7afab5cdbd449d1f440e7e0e95105f2143.tar.xz | |
extra/llvm: no OCAML temporarily
Diffstat (limited to 'extra/gnome-desktop')
0 files changed, 0 insertions, 0 deletions