Merge bb5fad6630ed4beed4ffdb8674e0326fcc28dd1f into 86f05abcce1fd270032975775adb40040c746cfe

This commit is contained in:
Dawid Potocki 2023-08-25 12:27:06 +00:00 committed by GitHub
commit f0b82f7923
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

3
.local/bin/xdg-terminal-exec Executable file
View File

@ -0,0 +1,3 @@
#!/bin/sh
"$TERMINAL" -e "$@"