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

/geany/filedefs/

.. drwxr-xr-x
filetypes.html 73 -rw-r--r-- file | revisions | annotate
filetypes.python 74 -rw-r--r-- file | revisions | annotate