Searched defs:cmnt (Results 1 – 3 of 3) sorted by relevance
34 std::string cmnt = m_parent.get_string (brig_comment->name); in operator ()() local
1614 char * cmnt = GTXT ("*** Note: experiment was not closed"); in open_epilogue() local
1612 char * cmnt = GTXT ("*** Note: experiment was not closed"); in open_epilogue() local