Merge pull request #80 from nE0sIghT/feature/gzipped-config
authorAlexander Popov <a13xp0p0v@users.noreply.github.com>
Sun, 26 Mar 2023 15:06:37 +0000 (18:06 +0300)
committerGitHub <noreply@github.com>
Sun, 26 Mar 2023 15:06:37 +0000 (18:06 +0300)
Added support for gzipped config (eg. /proc/config.gz)


Trivial merge