K 10
svn:author
V 6
marcel
K 8
svn:date
V 27
2016-09-25T16:50:31.846826Z
K 7
svn:log
V 72
Document the ".pico" extension for object files.

Suggested by: emaste@

END