chiark / gitweb /
Merge branch 'update_docs' into 'master'
authorCiaran Gultnieks <ciaran@ciarang.com>
Fri, 16 Jan 2015 21:05:02 +0000 (21:05 +0000)
committerCiaran Gultnieks <ciaran@ciarang.com>
Fri, 16 Jan 2015 21:05:02 +0000 (21:05 +0000)
Added docs how to get platform cache files (closes #53)

See merge request !37


Trivial merge