diff options
| author | Guillem Jover <guillem@debian.org> | 2005-11-16 23:21:34 +0000 |
|---|---|---|
| committer | Guillem Jover <guillem@debian.org> | 2005-11-16 23:21:34 +0000 |
| commit | 71e47dbdb39d3b8929fbdce674fa40e7d14fb9ee (patch) | |
| tree | a04e40f4f5331cb5108723a18ddc47c3a014cc94 /debian/watch | |
| parent | dc391f70789344e8c244d28ce291fcb524141b98 (diff) | |
Added a watch file.
Diffstat (limited to 'debian/watch')
| -rw-r--r-- | debian/watch | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/debian/watch b/debian/watch new file mode 100644 index 0000000..fcb3a40 --- /dev/null +++ b/debian/watch @@ -0,0 +1,2 @@ +version=3 +http://ftp.gnu.org/gnu/gnumach/ gnumach-(.*)\.tar\.gz debian uupdate |