cubicweb/devtools/instrument.py
branch3.24
changeset 11833 1212f0fa2d42
parent 11057 0b59724cb3f2
child 12567 26744ad37953
equal deleted inserted replaced
11832:e8be49ecb522 11833:1212f0fa2d42