Mercurial Mercurial > repos > isabelle / diff
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Admin/exec_process/mk
changeset 47799 0d5773841bc4
parent 47798 03ab3bd78282
child 47800 608efebec5b8 
--- a/Admin/exec_process/mk	Fri Apr 27 19:54:05 2012 +0200
+++ /dev/null	Thu Jan 01 00:00:00 1970 +0000
@@ -1,3 +0,0 @@
-#!/bin/bash
-
-cc exec_process.c -o exec_process
isabelle