Ketchup-0.3: docs/.git/description

Unnamed repository; edit this file 'description' to name the repository.