https://gitweb.dealii.org/ - dealii.git/blob

   1
   2
   3 -
   4 -DEAL:0:0::locally owned dofs :
   5 -{[0,24]}
   6 -DEAL:0:0::locally relevant dofs :
   7 -{[0,24]}
   8 -DEAL:0:0::OK
   9 -DEAL:0:0::locally owned dofs :
  10 -{[0,24]}
  11 -DEAL:0:0::locally relevant dofs :
  12 -{[0,24]}
  13 -DEAL:0:0::OK