diff options
| author | infirit <[email protected]> | 2015-09-18 14:47:15 +0200 |
|---|---|---|
| committer | infirit <[email protected]> | 2015-09-18 14:47:15 +0200 |
| commit | 1bb2f34586f78697713e38681402f7099bc87078 (patch) | |
| tree | 3e031312f7ef09d086bf1558d6d17a6e3837b15e /src/tools | |
| parent | dee034771c8f3b519c8011faf78d277d6af76933 (diff) | |
| download | marco-1bb2f34586f78697713e38681402f7099bc87078.tar.bz2 marco-1bb2f34586f78697713e38681402f7099bc87078.tar.xz | |
Revert "Remove unused function handle_run_terminal"
This reverts commit 437b085f123f3c019bca2481000e936ee87e7c31.
Diffstat (limited to 'src/tools')
0 files changed, 0 insertions, 0 deletions