search

gslab-econ / gslab_r

5 stars 1 forks source link

Pull Request for #23: Adding alternate RDS capitalization #24

Closed rcalvo12 closed 2 years ago

rcalvo12 commented 2 years ago

Small fix to SaveData to allow for different capitalization of RDS extension.

@jmshapir fyi.

ew487 commented 2 years ago

@rcalvo12 Just approved!

rcalvo12 commented 2 years ago

Summary in https://github.com/gslab-econ/gslab_r/issues/23#issuecomment-1240661589.