diff options
author | emersion <contact@emersion.fr> | 2018-11-21 22:29:36 +0100 |
---|---|---|
committer | GitHub <noreply@github.com> | 2018-11-21 22:29:36 +0100 |
commit | 42e8e3ed0aa6b5dff3a40b5d0d8706cff5039644 (patch) | |
tree | 36c8f15602d74648c0630453365b9e738b56fe37 /.gitignore | |
parent | b20f4cd49526acfc83e4860114d89075d0295828 (diff) | |
parent | eaafd65a12d6b15cc8e503ef6e9e99a65bd1e791 (diff) |
Merge pull request #1380 from emersion/gtk-primary-selection-multiple-devices
gtk-primary-selection: support multiple devices
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions