aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorClément Pit-Claudel2018-09-05 17:24:50 -0400
committerThéo Zimmermann2018-09-20 10:12:55 +0200
commit3eebeb6d39340a6e9feabce567f688df0e7270a6 (patch)
tree44b2cb2b2652040cf0d4e507c94e939faaa98668
parentf3476766cbdfb685b59058a974456348d5365265 (diff)
[doc] Remove unneeded backslashes in biblio.bib
-rw-r--r--doc/sphinx/biblio.bib4
1 files changed, 2 insertions, 2 deletions
diff --git a/doc/sphinx/biblio.bib b/doc/sphinx/biblio.bib
index c74d8f540c..aa8537c92d 100644
--- a/doc/sphinx/biblio.bib
+++ b/doc/sphinx/biblio.bib
@@ -121,7 +121,7 @@ s},
volume = {7998},
editor = {Sandrine Blazy and Christine Paulin and David Pichardie },
series = {LNCS },
- doi = {10.1007/978-3-642-39634-2\_5 },
+ doi = {10.1007/978-3-642-39634-2_5},
year = {2013},
}
@@ -136,7 +136,7 @@ s},
pages = {85--95},
month = {November},
year = {2000},
- url = {http://www.lirmm.fr/\%7Edelahaye/papers/ltac\%20(LPAR\%2700).pdf}
+ url = {http://www.lirmm.fr/%7Edelahaye/papers/ltac%20(LPAR%2700).pdf}
}
@Article{Dyc92,