112:f5b924cc0d7e
Anton Shestakov <av6@dwimlabs.net>, Wed, 06 Apr 2016 19:10:12 +0800
.hgrc: use less with --ignore-case as pager, also pass options to it directly

previous change 14:cb8ef1bc6712

geany/filedefs/filetypes.python

Permissions: -rw-r--r--

Other formats: Feeds:
[indentation]
# 0 is spaces, 1 is tabs, 2 is tab & spaces
type=0
width=4