diff options
author | rusty-snake <41237666+rusty-snake@users.noreply.github.com> | 2020-05-22 19:15:20 +0000 |
---|---|---|
committer | GitHub <noreply@github.com> | 2020-05-22 19:15:20 +0000 |
commit | b99f91175eac46d7977dee4d41bf5c19c9fb9c64 (patch) | |
tree | c9e1c8a31f392447c7c6608b876c41a463e6e4d5 /etc/profile-m-z/ping.profile | |
parent | cleanup wire-desktop.profile (diff) | |
parent | Add Ubuntu specific name for dino (diff) | |
download | firejail-b99f91175eac46d7977dee4d41bf5c19c9fb9c64.tar.gz firejail-b99f91175eac46d7977dee4d41bf5c19c9fb9c64.tar.zst firejail-b99f91175eac46d7977dee4d41bf5c19c9fb9c64.zip |
Merge pull request #3430 from karoshi42/master
Add Ubuntu's renamed version of dino
Diffstat (limited to 'etc/profile-m-z/ping.profile')
0 files changed, 0 insertions, 0 deletions