The branch 'mikael/heads/rank_type_v01' in namespace 'refs/users' was deleted. It previously pointed to:
dfad133d7965... Introductio signed_char_type_node et dim_iter_type_node Diff: !!! WARNING: THE FOLLOWING COMMITS ARE NO LONGER ACCESSIBLE (LOST): ------------------------------------------------------------------- dfad133... Introductio signed_char_type_node et dim_iter_type_node
