rename page
This commit is contained in:
parent
5d98cba923
commit
918868915c
6 changed files with 2 additions and 2 deletions
|
@ -1,3 +1,3 @@
|
||||||
This page exsists to collect benchmarking data about git-annex, so it can
|
This page exsists to collect profiling data about git-annex, so it can
|
||||||
be referred to later. If you have a specific instance where git-annex seems
|
be referred to later. If you have a specific instance where git-annex seems
|
||||||
unncessarily slow, please file a bug report about it.
|
unncessarily slow, please file a bug report about it.
|
|
@ -3,5 +3,5 @@ I was trying to copy files which failed to copy (3 out of 6,000) to remote host
|
||||||
[[!meta author=yoh]]
|
[[!meta author=yoh]]
|
||||||
|
|
||||||
> closing as yoh is happy. [[done]]. Note that I copied benechmarking
|
> closing as yoh is happy. [[done]]. Note that I copied benechmarking
|
||||||
> related comments to the [[/benchmarking]] page for future reference.
|
> related comments to the [[/profiling]] page for future reference.
|
||||||
> --[[Joey]]
|
> --[[Joey]]
|
||||||
|
|
Loading…
Reference in a new issue