summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorMaciej Barć <xgqt@gentoo.org>2022-11-19 22:25:25 +0100
committerMaciej Barć <xgqt@gentoo.org>2022-11-19 22:26:53 +0100
commit6e7a51ba017eb61743f30c801d61a4971f2289e4 (patch)
tree7e35ff8751d5eaa7ff7fa32a1698d430e428631d /x11-wm/musca
parentdev-ml/ptmap: remove seq reference from dune build file (diff)
downloadgentoo-6e7a51ba017eb61743f30c801d61a4971f2289e4.tar.gz
gentoo-6e7a51ba017eb61743f30c801d61a4971f2289e4.tar.bz2
gentoo-6e7a51ba017eb61743f30c801d61a4971f2289e4.zip
sci-mathematics/alt-ergo: remove seq reference from dune build file
Signed-off-by: Maciej Barć <xgqt@gentoo.org>
Diffstat (limited to 'x11-wm/musca')
0 files changed, 0 insertions, 0 deletions