aboutsummaryrefslogtreecommitdiff
path: root/plugins/ltac
diff options
context:
space:
mode:
authorcoqbot-app[bot]2020-11-26 10:42:36 +0000
committerGitHub2020-11-26 10:42:36 +0000
commit66429ecca2cc28875ec37b879806744bd3a63179 (patch)
treed26548bc2ffa633e3d5ac2be5405b0fc1061f261 /plugins/ltac
parent02a04a2a98cc20c83f8465ab992e39ce4380f94e (diff)
parent8b66dc40e93b648010b07d730b90daa33c48eb4e (diff)
Merge PR #13476: MacOS X install: accepting both dylib and so extensions for gtk im modules
Reviewed-by: gares
Diffstat (limited to 'plugins/ltac')
0 files changed, 0 insertions, 0 deletions