diff options
| author | Björn Gustavsson <[email protected]> | 2015-02-03 10:00:13 +0100 |
|---|---|---|
| committer | Björn Gustavsson <[email protected]> | 2015-02-12 13:14:38 +0100 |
| commit | 116e8aa05f84ee66aead2792b07b644c7f3e8fcd (patch) | |
| tree | 10045e9a42f0d3594cb65c775bc47f6641c02c3f /lib/webtool | |
| parent | d5a5df2d00f62ee580156bee605b0c4519f625f1 (diff) | |
| download | otp-116e8aa05f84ee66aead2792b07b644c7f3e8fcd.tar.gz otp-116e8aa05f84ee66aead2792b07b644c7f3e8fcd.tar.bz2 otp-116e8aa05f84ee66aead2792b07b644c7f3e8fcd.zip | |
cerl: Teach is_literal_term/1 to handle maps
Diffstat (limited to 'lib/webtool')
0 files changed, 0 insertions, 0 deletions