diff options
Diffstat (limited to 'debian/watch')
-rw-r--r-- | debian/watch | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/debian/watch b/debian/watch index 2d2f74c..8406d29 100644 --- a/debian/watch +++ b/debian/watch @@ -1,3 +1,3 @@ -version=3 +version=4 https://www.cs.princeton.edu/~appel/modern/java/JLex/ \ Archive/(.+)/Main.java |