diff options
| author | Pavel Pisa <pisa@cmp.felk.cvut.cz> | 2019-02-16 20:26:51 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2019-02-16 20:26:51 +0100 |
| commit | 875c265fa1754cc437a3ba39b4137a5f7af8d708 (patch) | |
| tree | 49093168266ed2bd1dc6a0fee62bf8b7f7578093 /.gitignore | |
| parent | fe4721d4b3e1b3cfa845bd52788f790038d34578 (diff) | |
| download | qtmips-875c265fa1754cc437a3ba39b4137a5f7af8d708.tar.gz qtmips-875c265fa1754cc437a3ba39b4137a5f7af8d708.tar.bz2 qtmips-875c265fa1754cc437a3ba39b4137a5f7af8d708.zip | |
Correct final loop label in documentation.
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions