diff options
author | Alberto Ruiz <aruiz@um.es> | 2015-06-03 18:21:24 +0200 |
---|---|---|
committer | Alberto Ruiz <aruiz@um.es> | 2015-06-03 18:21:24 +0200 |
commit | b4fa1d9ca83f99f5057fcf70ed409b5038908f66 (patch) | |
tree | efedc612bfb9b27446fa8e043f314a26e95c9969 /.gitignore | |
parent | 5481f94f5b936a2ad1947200838ea27ee860d0e7 (diff) | |
parent | 55e2326e76e7e1ee2ac0d753198b8f47e1c695ef (diff) |
Merge pull request #126 from ntfrgl/master
Generalize step control function
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions