Home
last modified time | relevance | path

Searched refs:sed_remove_leading_dot (Results 1 – 1 of 1) sorted by relevance

/third_party/gettext/gettext-tools/misc/
Dconvert-archive.in341 sed_remove_leading_dot='s,^\./,,'
347 … prev_files=`find . -type f | sed -e "$sed_remove_leading_dot" -e "$sed_remove_git_infrastructure"`