lib/bufferized_ropes: Added default size of a buffer for rope leaves.
authorLucas Bajolet <r4pass@hotmail.com>
Thu, 24 Jul 2014 14:17:25 +0000 (10:17 -0400)
committerLucas Bajolet <r4pass@hotmail.com>
Thu, 24 Jul 2014 14:22:11 +0000 (10:22 -0400)
commitfed66811096626d9780ef970b21fbeaa3395a8de
tree6ecd17f959b7111628c9ae6facf3e045f4dd61d0
parente3fcdab58b193b2ef3cef434878d1039b18e5770
lib/bufferized_ropes: Added default size of a buffer for rope leaves.

Signed-off-by: Lucas Bajolet <r4pass@hotmail.com>
lib/bufferized_ropes.nit