diff options
author | Marcus Arendt <[email protected]> | 2014-09-19 10:32:02 +0200 |
---|---|---|
committer | Marcus Arendt <[email protected]> | 2014-09-19 10:32:02 +0200 |
commit | 3c5b487d925ced4314d5df0172bf33d93920c4d9 (patch) | |
tree | 84605f890c560a6d0be04d48db6e89541c92b809 /lib/webtool | |
parent | 86b7cf42011302a78cb73ec4f339a2b31af8ae9a (diff) | |
parent | ff47482c9acb9b0655d1d9528164c96aff05cc90 (diff) | |
download | otp-3c5b487d925ced4314d5df0172bf33d93920c4d9.tar.gz otp-3c5b487d925ced4314d5df0172bf33d93920c4d9.tar.bz2 otp-3c5b487d925ced4314d5df0172bf33d93920c4d9.zip |
Merge branch 'nox/rm-generic_debug/OTP-12183'
* nox/rm-generic_debug/OTP-12183:
Remove untested option 'generic_debug' from gen_server
Diffstat (limited to 'lib/webtool')
0 files changed, 0 insertions, 0 deletions