child 151:429f3b4e6c36
parent 149:dab49cc5ebc3
150:50274feff1bc
Anton Shestakov <av6@dwimlabs.net>, 2018-03-04
applications: looks like there's no purge memory button in chromium anymore

/geany/

.. drwxr-xr-x
filedefs/ drwxr-xr-x files