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
previous change 14:cb8ef1bc6712

geany/filedefs/filetypes.python

Permissions: -rw-r--r--

File Latest Revisions Annotate Diff Comparison
Other formats:
JSON Raw
Feeds:
Atom RSS 
[indentation]
# 0 is spaces, 1 is tabs, 2 is tab & spaces
type=0
width=4