cubicweb/devtools/instrument.py
branch3.25
changeset 12089 54b518367617
parent 11057 0b59724cb3f2
child 12567 26744ad37953