diff options
| author | Péter Diviánszky <divipp@gmail.com> | 2016-04-28 20:39:51 +0200 |
|---|---|---|
| committer | Péter Diviánszky <divipp@gmail.com> | 2016-04-28 20:39:51 +0200 |
| commit | 4f85f455271ee6035924accebf34352229644a31 (patch) | |
| tree | efc48b04feb88bbdac89eee958b6acc6b42deff7 /doc | |
| parent | e566b9cf517cf4296e50c89f40c596bd74a588c8 (diff) | |
fix naming of free variables
Diffstat (limited to 'doc')
0 files changed, 0 insertions, 0 deletions