summaryrefslogtreecommitdiff
path: root/dev-lang/mercury
diff options
context:
space:
mode:
authorV3n3RiX <venerix@koprulu.sector>2022-10-12 01:39:26 +0100
committerV3n3RiX <venerix@koprulu.sector>2022-10-12 01:39:26 +0100
commitc07955fffc8c82b9d37211c3f7f38455d7ef0599 (patch)
tree518de1cd622be372b3caf8872bb6eb0ab2e2fc6e /dev-lang/mercury
parentc650f7cf611feaa59620fd8626e78108fa3b5e51 (diff)
gentoo auto-resync : 12:10:2022 - 01:39:26
Diffstat (limited to 'dev-lang/mercury')
0 files changed, 0 insertions, 0 deletions