From d5e3611e856a2ef0ec67736ff01353224b1c104c Mon Sep 17 00:00:00 2001 From: Batuhan Taskaya Date: Mon, 24 Jan 2022 18:16:38 +0300 Subject: [PATCH] fix lint errors --- extras/profiling/README.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/extras/profiling/README.md b/extras/profiling/README.md index 087ab5bc..f92feb76 100644 --- a/extras/profiling/README.md +++ b/extras/profiling/README.md @@ -11,7 +11,7 @@ Ensure the following requirements are satisfied: Then, run the `extras/benchmarks/run.py`: -``` +```console $ python extras/profiling/run.py ```