util  History of tenki/tenki.cc of 70991b55c336efe6

History of the file that is called tenki/tenki.cc at checkin 70991b55c336efe6