diff src/cs/riviera/rvm/rvm_use_id_list.h @ 220:60cc20bfe18f

doc/Compiling: update for the new configs
author Mychaela Falconia <falcon@freecalypso.org>
date Sat, 15 Oct 2016 23:02:23 +0000
parents 34ee53b81f33
children 3f3c98f8b85d
line wrap: on
line diff