OSDN Git Service

Delete obsolete doc pointed out by Chris Lattner.