Function remove_prepended_the

crawl-ref/source/stringutil.cc:585–590

}

string remove_prepended_the(string s)
{
    if (starts_with(s, "the "))
        s.erase(0, 4); // strlen("the ")
    return s;
}

// Crude, but functional.
string make_time_string(time_t abs_time, bool terse)