Merge pull request #14402 from dduugg/patch-2

Delete config.rbi
This commit is contained in:
Mike McQuaid 2023-01-23 13:29:12 +00:00 committed by GitHub
commit 81a0b0fd2a
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

View File

@ -1,6 +0,0 @@
# typed: strict
module EnvVar
sig { params(env: String).returns(String) }
def self.[](env); end
end