diff options
| author | Zandra <[email protected]> | 2016-04-25 09:05:30 +0200 |
|---|---|---|
| committer | Zandra <[email protected]> | 2016-05-02 14:43:53 +0200 |
| commit | 0c2954dd7fa1923a26d7da05e366bca63d5fe53e (patch) | |
| tree | 13e7ee3948a740a280da868f596a084f41a0e4cb /lib/mnesia/include/Makefile | |
| parent | fe1fe6b2ca2ebefd0b7e82b6651e35f6388a06d0 (diff) | |
| download | otp-0c2954dd7fa1923a26d7da05e366bca63d5fe53e.tar.gz otp-0c2954dd7fa1923a26d7da05e366bca63d5fe53e.tar.bz2 otp-0c2954dd7fa1923a26d7da05e366bca63d5fe53e.zip | |
use maps instead of gb_trees to optimize the rpc server
Diffstat (limited to 'lib/mnesia/include/Makefile')
0 files changed, 0 insertions, 0 deletions