cubicweb/devtools/instrument.py
changeset 11751 b57b76091481
parent 11057 0b59724cb3f2
child 12567 26744ad37953
equal deleted inserted replaced
11750:18e7b9829471 11751:b57b76091481