diff options
| author | Javier <dev.git@javispedro.com> | 2021-09-16 11:00:39 +0200 |
|---|---|---|
| committer | Javier <dev.git@javispedro.com> | 2021-09-16 11:00:39 +0200 |
| commit | 419cd14ea25bc1585552bf73f0f29aa62518c175 (patch) | |
| tree | 84b72c5f0794983db4cd32461fc833ce593ad482 /main.cc | |
| parent | b78e171537fe8cc227521bb6b12bfb923a248f08 (diff) | |
| download | scribiu-419cd14ea25bc1585552bf73f0f29aa62518c175.tar.gz scribiu-419cd14ea25bc1585552bf73f0f29aa62518c175.zip | |
minor fix in stf parsing
Diffstat (limited to 'main.cc')
0 files changed, 0 insertions, 0 deletions