diff options
| author | Manuel Rubio <[email protected]> | 2017-04-17 23:34:41 +0100 |
|---|---|---|
| committer | Manuel Rubio <[email protected]> | 2017-04-17 23:34:41 +0100 |
| commit | 56c2f180bec77bd17529d61cb65d1884550fcb17 (patch) | |
| tree | e1d43abe7072a23c881d71481b53dfa7f7aebedc /.gitignore | |
| parent | f0dc506eac4b6b62a88cb1bb288a29d138d068c7 (diff) | |
| download | otp-56c2f180bec77bd17529d61cb65d1884550fcb17.tar.gz otp-56c2f180bec77bd17529d61cb65d1884550fcb17.tar.bz2 otp-56c2f180bec77bd17529d61cb65d1884550fcb17.zip | |
test for re:version/0
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions