/mandos/release

To get this branch, use:
bzr branch http://bzr.recompile.se/loggerhead/mandos/release

« back to all changes in this revision

Viewing changes to mandos-monitor

  • Committer: Teddy Hogeborn
  • Date: 2016-10-08 04:33:04 UTC
  • Revision ID: teddy@recompile.se-20161008043304-u4wqp55iacqfbwhb
Tags: version-1.7.13-1
http://bugs.debian.org/840001
* Makefile (version): Change to 1.7.13.
* NEWS (Version 1.7.13): Add new entry.
* debian/changelog (1.7.13-1): - '' -

Show diffs side-by-side

added added

removed removed

Lines of Context:
mandos-monitor
733
733
                self.refresh()
734
734
        return True
735
735
 
736
 
 
737
736
ui = UserInterface()
738
737
try:
739
738
    ui.run()