diff options
| author | Javier <dev.git@javispedro.com> | 2015-06-14 05:43:37 +0200 |
|---|---|---|
| committer | Javier <dev.git@javispedro.com> | 2015-06-14 05:43:37 +0200 |
| commit | aa2999041d405215d5a7e8c494e276ebbfc089fc (patch) | |
| tree | 22bfe38af679296c8b97d97d470657d412fec8ee /main.cc | |
| parent | c36852c600d0a3173ba441160a10c63a3627825a (diff) | |
| download | scribiu-aa2999041d405215d5a7e8c494e276ebbfc089fc.tar.gz scribiu-aa2999041d405215d5a7e8c494e276ebbfc089fc.zip | |
more minor cleanup
Diffstat (limited to 'main.cc')
0 files changed, 0 insertions, 0 deletions