devtools/fake.py
changeset 2299 85fb4b808f5b
parent 2181 94ca417b9b07
child 2471 3e2b50ece726
equal deleted inserted replaced
2298:8dffb4cce3b7 2299:85fb4b808f5b