Juergen Daubert 7519f9a90d time: don't add our own man-page ... we use the one that comes with core/man-pages instead		2017-11-13 12:57:28 +01:00
..
.footprint	time: don't add our own man-page	2017-11-13 12:57:28 +01:00
.md5sum	time: don't add our own man-page	2017-11-13 12:57:28 +01:00
.signature	time: don't add our own man-page	2017-11-13 12:57:28 +01:00
Pkgfile	time: don't add our own man-page	2017-11-13 12:57:28 +01:00