aboutsummaryrefslogtreecommitdiffstats
path: root/non-free/compcert
diff options
context:
space:
mode:
authorBart Ribbers <bribbers@disroot.org>2019-05-22 00:47:39 +0200
committerKevin Daudt <kdaudt@alpinelinux.org>2019-05-28 17:14:48 +0000
commit2b24ce327156446839904d29f4cb54ac2bcf26ea (patch)
treedde154f8cfcd6f0132dad3eadfd157dece435d9d /non-free/compcert
parentff05f4564c678c3efdabd24c944f50418546708e (diff)
downloadaports-2b24ce327156446839904d29f4cb54ac2bcf26ea.tar.bz2
aports-2b24ce327156446839904d29f4cb54ac2bcf26ea.tar.xz
testing/kirigami2: new aport
Closes GH-7992
Diffstat (limited to 'non-free/compcert')
0 files changed, 0 insertions, 0 deletions