mirror/archivebox
1
0
Fork 0
mirror of https://github.com/pirate/ArchiveBox.git synced 2025-08-18 20:31:38 +02:00
Code Issues Releases Wiki Activity

fix lint error

Browse Source
This commit is contained in:
Nick Sweeting
2020-12-12 12:35:32 -05:00
committed by GitHub
parent 154d31263b
commit 326fe69eea
1 changed files with 1 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files

2
archivebox/search/backends/ripgrep.py
View File

@@ -1,5 +1,5 @@
import re import re
from subprocess import run, PIPE, DEVNULL from subprocess import run, PIPE
from typing import List, Generator from typing import List, Generator
from archivebox.config import ARCHIVE_DIR, RIPGREP_VERSION from archivebox.config import ARCHIVE_DIR, RIPGREP_VERSION