Vasily 9fe1f3dc50 Separate media keys from keyboard shortcuts ...

The media keys were only in the keyboard shortcuts file because their
implementation was the same. With Linux support incoming their
implementations are not necessarily the same.

2019-05-25 18:49:42 +02:00

..

linux

Add noX11 flag to Linux compilations

2019-04-22 09:56:50 +02:00

qt

Separate media keys from keyboard shortcuts

2019-05-25 18:49:42 +02:00

win

Convert C++ version string to be define instead of include

2019-04-19 22:30:04 +02:00

append_to_version_file.py

Convert C++ version string to be define instead of include

2019-04-19 22:30:04 +02:00

compile_version_string.txt

Change version name to 3.1.0-dev

2019-04-19 22:30:04 +02:00

run-clang-format.py

Add python clang-format wrapper

2018-12-28 00:03:20 +01:00