a1346054 362e3cd6ff Use command -v instead of which (#1704) ... `command -v` is the standardized version of `which`		2022-09-19 17:06:14 +02:00
..
get_git_rev.sh	Use command -v instead of which (#1704)	2022-09-19 17:06:14 +02:00
rofi-sensible-terminal	Simple maintenance improvements (#1370)	2021-08-14 13:03:16 +02:00
rofi-theme-selector	Use command -v instead of which (#1704)	2022-09-19 17:06:14 +02:00