Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
removed -x option;
authorwenzelm
Sun, 17 Sep 2000 22:51:20 +0200
changeset 10014 d41ab495ab14
parent 10013 be4824b7505d
child 10015 8c16ec5ba62b
removed -x option;
Admin/makerpm file | annotate | diff | comparison | revisions 
--- a/Admin/makerpm	Sun Sep 17 22:50:10 2000 +0200
+++ b/Admin/makerpm	Sun Sep 17 22:51:20 2000 +0200
@@ -1,4 +1,4 @@
-#!/bin/bash -x
+#!/bin/bash
 #
 # $Id$
 #
isabelle