##// END OF EJS Templates
added delete button into repository settings form, it makes more natural to have it there....
added delete button into repository settings form, it makes more natural to have it there. Users where confused by my account -> my repos where deletion is also possible

File last commit:

r1846:349a0ca3 beta
r3084:2ec4a2a5 beta
Show More
exceptions.py
13 lines | 246 B | text/x-python | PythonLexer
Changed default recipients separator for mails to ', '
r1846
Notification fixes...
r1717
class InvalidMessage(RuntimeError):
"""
Raised if message is missing vital headers, such
as recipients or sender address.
"""
Changed default recipients separator for mails to ', '
r1846
auto white-space removal
r1818 class BadHeaders(RuntimeError):
Notification fixes...
r1717 """
Raised if message contains newlines in headers.
"""