diff --git a/.hg_notify.hgml b/.hg_notify.hgml new file mode 100644 index 0000000000000000000000000000000000000000..7c5969e9cbab6bafa47a92b18aed86d5e8576e3e --- /dev/null +++ b/.hg_notify.hgml @@ -0,0 +1,4 @@ +[usersubs] +wiebel@informatik.uni-leipzig.de = * +math@informatik.uni-leipzig.de = * +ebaum@informatik.uni-leipzig.de = * \ No newline at end of file