diff options
| author | Maxime Coste <frrrwww@gmail.com> | 2014-11-09 11:42:06 +0000 |
|---|---|---|
| committer | Maxime Coste <frrrwww@gmail.com> | 2014-11-09 11:42:06 +0000 |
| commit | 766df0490c6da2b576ab5a98c9b7fa853eb13bd5 (patch) | |
| tree | f88423f9b5177e1b9e7319bffc439d6afc138af1 /src/user_interface.hh | |
| parent | 88aa707b9c7f06e70843e2e70da92fac7ceafa52 (diff) | |
small code simplification
Diffstat (limited to 'src/user_interface.hh')
0 files changed, 0 insertions, 0 deletions
