tree c537aacaab9e7cfabe5298a23cd699bb58ae4f93
parent b8cfe3f0d97557817545c34a31eef197e0330b00
author Manuel Pégourié-Gonnard <mpg@elzevir.fr> 1427793348 +0200
committer Manuel Pégourié-Gonnard <mpg@elzevir.fr> 1427793348 +0200

Make a helpful constant public