Project

General

Profile

1
# Useful functions and classes
2

    
3
def rename_key(dict_, orig, new):
4
    try: dict_[new] = dict_.pop(orig)
5
    except KeyError: pass
(7-7/10)