| commit | 61352e504d65160c80ed210a493555dd54c4eebb | [log] [tgz] |
|---|---|---|
| author | Wenzel Jakob <wenzel.jakob@epfl.ch> | Mon Jul 18 23:52:59 2016 +0200 |
| committer | GitHub <noreply@github.com> | Mon Jul 18 23:52:59 2016 +0200 |
| tree | 923356c079372a3b7af9782fc2a19fb41976bb6b | |
| parent | fb6aed21576f1de5e6b54f4a8279a7f64a717b30 [diff] | |
| parent | 3e2e44f53fc93ee3195b41e7556e4769a501dcbc [diff] |
Merge pull request #289 from jagerman/example-renaming Rename examples files, as per #288