diff options
author | Björn Gustavsson <[email protected]> | 2013-12-02 12:48:04 +0100 |
---|---|---|
committer | Björn Gustavsson <[email protected]> | 2013-12-02 12:48:04 +0100 |
commit | 026a9226fcd47d29870f5b5d879919ce4f60d785 (patch) | |
tree | 1b2d9a4dce91b4bcaa6af9e3df66c6853d83a616 /lib/mnesia/doc/pdf/.gitignore | |
parent | 22f1c2d08701038b52099dc09b52e5b94a6f8fba (diff) | |
parent | 8d48725f062b16d94fc3371d2940d451b94a141d (diff) | |
download | otp-026a9226fcd47d29870f5b5d879919ce4f60d785.tar.gz otp-026a9226fcd47d29870f5b5d879919ce4f60d785.tar.bz2 otp-026a9226fcd47d29870f5b5d879919ce4f60d785.zip |
Merge branch 'maint'
* maint:
PER/UPER: Handle a range in the extension part of the constraint
Diffstat (limited to 'lib/mnesia/doc/pdf/.gitignore')
0 files changed, 0 insertions, 0 deletions