aboutsummaryrefslogtreecommitdiff
path: root/vernac
diff options
context:
space:
mode:
authorEmilio Jesus Gallego Arias2019-04-25 16:07:16 +0200
committerEmilio Jesus Gallego Arias2019-04-25 16:07:16 +0200
commit12e5d3cdef8b954fc3a7cdf1dfebc388bd546c3a (patch)
tree3efc225c5bc3d2c691ad69f03e9e3668826dac46 /vernac
parent47f202605b4ef1795a31312b3ff2eda006fa46a6 (diff)
parent8f5732d754aeb089edbda0bcc57e13761929899d (diff)
Merge PR #9999: Fix PKG in ide/.merlin.in for gtk3
Reviewed-by: ejgallego
Diffstat (limited to 'vernac')
0 files changed, 0 insertions, 0 deletions