aboutsummaryrefslogtreecommitdiffstats
path: root/lib/mnesia/doc/pdf/.gitignore
diff options
context:
space:
mode:
authorBjörn Gustavsson <[email protected]>2013-12-02 12:48:04 +0100
committerBjörn Gustavsson <[email protected]>2013-12-02 12:48:04 +0100
commit026a9226fcd47d29870f5b5d879919ce4f60d785 (patch)
tree1b2d9a4dce91b4bcaa6af9e3df66c6853d83a616 /lib/mnesia/doc/pdf/.gitignore
parent22f1c2d08701038b52099dc09b52e5b94a6f8fba (diff)
parent8d48725f062b16d94fc3371d2940d451b94a141d (diff)
downloadotp-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