diff options
| author | Maxime Coste <frrrwww@gmail.com> | 2013-04-17 19:15:15 +0200 |
|---|---|---|
| committer | Maxime Coste <frrrwww@gmail.com> | 2013-04-17 19:15:15 +0200 |
| commit | 8d83a5ff9e59d7a16fca0c3b353ab470c913d942 (patch) | |
| tree | 6384774cb2b44f01a672d4d7268a1aca7a544d6b /src/shell_manager.cc | |
| parent | 021756dfd44700cfd8d3308df11aa84d3adcc806 (diff) | |
toolsclient option support is back, add docsclient for git-diff
Diffstat (limited to 'src/shell_manager.cc')
0 files changed, 0 insertions, 0 deletions