Integrate remote repo url into comment

This commit is contained in:
Marty Oehme 2023-08-29 22:41:40 +02:00
parent d4cbc2eb77
commit b00e7f1770
Signed by: Marty
GPG key ID: EDBF2ED917B2EF6A

View file

@ -5,6 +5,7 @@
# the iOS application 'Marvin Reader'. In the app, export your
# annotations as 'csv' format and then point the script to the
# resulting file.
# https://git.martyoeh.me/Marty/papis-marvin
import os
import sys
import re