view src/version_set.rs @ 216:e0738be2cbcc

version: remove working, but unneeded, get_full_impl()
author Lewin Bormann <lbo@spheniscida.de>
date Thu, 07 Sep 2017 21:39:48 +0200
parents 2d3f7bcaef6e
children 4b044ef081e0
line wrap: on
line source


pub const NUM_LEVELS: usize = 7;