diff options
| author |  Benjamin Barenblat <bbaren@mit.edu> | 2015-04-14 00:54:17 -0400 |
|---|---|---|
| committer | Benjamin Barenblat <bbaren@mit.edu> | 2015-04-14 00:54:17 -0400 |
| commit | b0bbfffa9da2bda37baa0727b2d281e0d25a82ee (patch) | |
| tree | bc38a3c45e19152e9f6d20b854d86cae49935f0e /demo/sum.urs | |
| parent | a1be66021da600e020b1b88bf3869cb399fc861d (diff) | |
Correct debian/watch file to refer to home page
Ur/Web uses a frame-based site, which means the default debian/watch
format doesn’t work. Instead, I specify the home page explicitly.
Diffstat (limited to 'demo/sum.urs')
0 files changed, 0 insertions, 0 deletions