2 Commits (205772e86d0ccafd14b3a9ba2df1fbb02b09bcb7)

Author	SHA1	Message	Date
Timothée Ravier	9c41c6536f	treewide: Replace 'egrep' with 'grep -E' ... Fixes the following warning: ``` egrep: warning: egrep is obsolescent; using grep -E ```	2024-01-14 19:58:57 +01:00
tstromberg	4593ac3558	Change directory case	2020-04-04 20:30:07 -07:00