diff options
Diffstat (limited to 'doc/flashcards/DETAILS')
-rwxr-xr-x | doc/flashcards/DETAILS | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/doc/flashcards/DETAILS b/doc/flashcards/DETAILS index 8523b22629..d6a82a9585 100755 --- a/doc/flashcards/DETAILS +++ b/doc/flashcards/DETAILS @@ -4,7 +4,7 @@ SOURCE_DIRECTORY=$BUILD_DIRECTORY/$SPELL SOURCE_URL[0]=$CTAN_URL/macros/latex/contrib/$SOURCE SOURCE_URL[1]=ftp://ftp.dante.de/tex-archive/macros/latex/contrib/$SOURCE - SOURCE_HASH=sha512:8a558b196cd25ca5a0ad588b882ccc62e485f3e8eb116809a0c2d99105e94ee72653bb3e7c4dd1256a47987126ea574ddab12225c5fd85d502681edb9315e715 + SOURCE_IGNORE=unversioned WEB_SITE=NA ENTERED=20020614 LICENSE=LPPL |