diff options
| author | Maxime Coste <frrrwww@gmail.com> | 2013-04-17 19:10:51 +0200 |
|---|---|---|
| committer | Maxime Coste <frrrwww@gmail.com> | 2013-04-17 19:10:51 +0200 |
| commit | 021756dfd44700cfd8d3308df11aa84d3adcc806 (patch) | |
| tree | be99878b98e9eb7a8295d66cc40433d6455ddea6 /src/shell_manager.cc | |
| parent | 21f487417b6c6af028254a2788f57e547b1041c4 (diff) | |
redeclaring an option with the same type is not an error
Diffstat (limited to 'src/shell_manager.cc')
0 files changed, 0 insertions, 0 deletions