diff options
author | Björn Gustavsson <[email protected]> | 2011-09-14 17:18:39 +0200 |
---|---|---|
committer | Björn Gustavsson <[email protected]> | 2011-09-14 17:18:39 +0200 |
commit | 4a809e4a7cf666afbffe3fd94d88c78f2c261a7b (patch) | |
tree | d3732fcca1aaaf245306728875f43cbf97ddbd69 /.gitattributes | |
parent | 3239beb53276e0086e70b37c14a19cd22cfdd7e1 (diff) | |
parent | 68c96ca855821adb42a25ced5b69446ae7ccc635 (diff) | |
download | otp-4a809e4a7cf666afbffe3fd94d88c78f2c261a7b.tar.gz otp-4a809e4a7cf666afbffe3fd94d88c78f2c261a7b.tar.bz2 otp-4a809e4a7cf666afbffe3fd94d88c78f2c261a7b.zip |
Merge branch 'dev' into major
* dev:
sys_pre_expand: Don't duplicate options given in the source code
Diffstat (limited to '.gitattributes')
0 files changed, 0 insertions, 0 deletions