tree 4c037c7b3e78e1fd1b0f3067c4f410450a16a8a4
parent fac9ab1419152593900a65aed65d05fd2bd2273d
parent 6c020421390e9470b6e1a2e16e6978c239973bb5
author Junio C Hamano <gitster@pobox.com> 1575219869 -0800
committer Junio C Hamano <gitster@pobox.com> 1575219870 -0800

Merge branch 'mr/clone-dir-exists-to-path-exists'

Code cleanup.

* mr/clone-dir-exists-to-path-exists:
  clone: rename static function `dir_exists()`.