← Back to branch summary

~ubuntu-branches/ubuntu/saucy/agda-stdlib/saucy

Viewing all changes in revision 4.

  • Committer: Bazaar Package Importer
  • Author(s): Iain Lane
  • Date: 2010-02-16 12:05:13 UTC
  • Revision ID: james.westby@ubuntu.com-20100216120513-9eh37oqs45yrtknr
Tags: 0.3-1ubuntu2
debian/rules, debian/watcher.sh: Add a ticker to the build to avoid
timeouts on some slow architectures. 

expand all expand all

Show diffs side-by-side

added added

removed removed

Lines of Context: