diff options
| author | Micael Karlberg <[email protected]> | 2011-06-01 17:24:22 +0200 |
|---|---|---|
| committer | Micael Karlberg <[email protected]> | 2011-06-15 18:16:19 +0200 |
| commit | 6a87b618ae7702f569f73b45fa9008dede557dbf (patch) | |
| tree | 00a2ab36f9972c1951370f4cc8f759ad0987c272 /lib/edoc/priv | |
| parent | 6d3f12f6921155ffbe5e5e5b84734657be97ff1c (diff) | |
| download | otp-6a87b618ae7702f569f73b45fa9008dede557dbf.tar.gz otp-6a87b618ae7702f569f73b45fa9008dede557dbf.tar.bz2 otp-6a87b618ae7702f569f73b45fa9008dede557dbf.zip | |
Temporary solution for profile_name stuff. What about Pids???
Diffstat (limited to 'lib/edoc/priv')
0 files changed, 0 insertions, 0 deletions