diff options
| author | Javier <dev.git@javispedro.com> | 2015-06-14 17:17:12 +0200 |
|---|---|---|
| committer | Javier <dev.git@javispedro.com> | 2015-06-14 17:17:12 +0200 |
| commit | e3c4aa5dffecc8f62958c44035b2e58de0228eb4 (patch) | |
| tree | 8fb5f24098e094fe1f103092c6fed07a116cb91a /pageitem.cc | |
| parent | aa2999041d405215d5a7e8c494e276ebbfc089fc (diff) | |
| download | scribiu-e3c4aa5dffecc8f62958c44035b2e58de0228eb4.tar.gz scribiu-e3c4aa5dffecc8f62958c44035b2e58de0228eb4.zip | |
better synchronization status reporting
Diffstat (limited to 'pageitem.cc')
0 files changed, 0 insertions, 0 deletions