3021: Tidy up (and document) the choice of exactly which server we expect to run...

[arvados.git] / doc / _includes / _notebox_begin.liquid

<div class="alert alert-block alert-info">
  <button type="button" class="close" data-dismiss="alert">&times;</button>
  <h4>Note:</h4>