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)
commit581ad7f2a8614f86c972241ecdc48f154dafa734
treeea3102a3ee359ac2c8bf627bbb53cbcd6ef427dc
parent3b3704710e2e1a1c7f94a028bb9e3fa5c75ffe9f
parenta144edc455e6bdb15116fb50107244d08c0eac4b
Merge branch 'update_docs' into 'master'

Added docs how to get platform cache files (closes #53)

See merge request !37