cubicweb/devtools/instrument.py
changeset 12044 70bb46dfa87b
parent 11057 0b59724cb3f2
child 12567 26744ad37953
equal deleted inserted replaced
12043:b8d2e6b9f548 12044:70bb46dfa87b