From 8bdfc67d5b0be38bbeee957de365980dacf2d69a Mon Sep 17 00:00:00 2001 From: David Caron Date: Fri, 15 Jun 2018 16:59:15 -0400 Subject: [PATCH] is that an en dash? --- generators/utils.py | 1 + 1 file changed, 1 insertion(+) diff --git a/generators/utils.py b/generators/utils.py index e478126..5b0eac4 100644 --- a/generators/utils.py +++ b/generators/utils.py @@ -147,6 +147,7 @@ def clean_doxygen(doxygen): "": "", "≥": ">=", "ü": "u", + "–": "-", "fi": "fi", "Ž": "", # invisible character in fast_bilateral_filter.h "FrŽdo Durand"[2] (no kidding) }