Hi I basically want to cut one specific file and its history from my repo, and import it into a new single file repo. The natural candidate would be the export command, however I don't find any option which would allow me to specify a specific file. Is there any solution to my problem? Thanks Uwe Brauer