diff options
| author | Zandr Martin <zandrmartin+git@gmail.com> | 2016-06-02 15:48:14 -0500 |
|---|---|---|
| committer | Zandr Martin <zandrmartin+git@gmail.com> | 2016-06-02 15:48:14 -0500 |
| commit | 9ccc92705ef428d6486fd9173e5029c594798919 (patch) | |
| tree | 6ccc4143129cdfe354aa01f80c80deff1cca4ca4 /include/client | |
| parent | 09670fc1a7485d75774c184fcbf8e907b9481aaa (diff) | |
implement stable sort for lists
also change sort_workspaces() to use it
Diffstat (limited to 'include/client')
0 files changed, 0 insertions, 0 deletions