yamllint

Files

Adrien Vergé 8c839a20c2 Config: Detect user config using os.path.expanduser()

Instead of `$HOME`, since the former works when `$HOME` is not set.

[1]: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=828033#10

2016-06-24 18:41:45 +02:00

conf.py

2016-02-19 19:34:20 +01:00

configuration.rst

2016-06-24 18:41:45 +02:00

development.rst

2016-01-24 17:48:20 +01:00

index.rst

Doc: Update description

2016-02-01 23:03:25 +01:00

Makefile

2016-01-22 18:20:28 +01:00

quickstart.rst

2016-03-15 10:04:24 +01:00

rules.rst

2016-02-01 22:26:18 +01:00

screenshot.png

2016-02-01 22:41:56 +01:00

text_editors.rst

2016-03-10 08:59:31 +01:00