diff options
| author | Hugo Herbelin | 2019-06-16 13:58:41 +0200 |
|---|---|---|
| committer | Hugo Herbelin | 2019-09-10 15:20:58 +0200 |
| commit | bc10e4566cefcab6449fb97b47cf23a431c5e8bb (patch) | |
| tree | 48fa72ebffc60500d37775d3331c6c3472155851 /plugins/micromega/persistent_cache.ml | |
| parent | 36bc8d2b666457c18436c1801d7ba811ed2c2067 (diff) | |
Refman: To be compatible gtk2/gtk3, not mentioning GTK+ version explicitely.
Diffstat (limited to 'plugins/micromega/persistent_cache.ml')
0 files changed, 0 insertions, 0 deletions