remove a function that's no longer used (amend 1a0f2cc)

yihui · Jan 3, 2023 · 0efb791 · 0efb791
1 parent 3c87d2d
commit 0efb791
Showing 1 changed file with 0 additions and 3 deletions.
diff --git a/R/utils.R b/R/utils.R
@@ -1085,9 +1085,6 @@ remove_urls = function(x) {
   gsub("(?<!`)\\[([^]]+)\\]\\(([^)]+)\\)(?!`)", "\\1", x, perl = TRUE)
 }
 
-# repeat a string for n times
-rep_str = function(x, n, sep = '') paste(rep(x, n), collapse = sep)
-
 # patch strsplit() to split '' into '' instead of character(0)
 str_split = function(x, split, ...) {
   y = strsplit(x, split, ...)