diff options
| author | Emilio Jesus Gallego Arias | 2019-04-25 16:07:16 +0200 |
|---|---|---|
| committer | Emilio Jesus Gallego Arias | 2019-04-25 16:07:16 +0200 |
| commit | 12e5d3cdef8b954fc3a7cdf1dfebc388bd546c3a (patch) | |
| tree | 3efc225c5bc3d2c691ad69f03e9e3668826dac46 /vernac | |
| parent | 47f202605b4ef1795a31312b3ff2eda006fa46a6 (diff) | |
| parent | 8f5732d754aeb089edbda0bcc57e13761929899d (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
