| commit | 5bb4aec2c42d719d89b306ea9c35903e531bac1c | [log] [tgz] |
|---|---|---|
| author | Bugfix <mg@henning-ullrich.de> | Tue Dec 25 12:11:23 2018 +0100 |
| committer | Zesstra <zesstra@zesstra.de> | Fri Dec 28 12:23:38 2018 +0100 |
| tree | 76951cd02b6f044520f24b0fcc7dd239df6b76f2 | |
| parent | ac979c464c7c70e4deb0444bad70de6cb391a42a [diff] [blame] |
replace_program() auf die Liste gesetzt. Sollte nur in ganz besonderen Ausnahmefaellen per Hand gerufen werden. Change-Id: I07830fd896746af806b948a4a73b821596e30580
diff --git a/bad_efun.list b/bad_efun.list index 17f7c5d..4827f2c 100644 --- a/bad_efun.list +++ b/bad_efun.list
@@ -23,3 +23,4 @@ efun::* write say +replace_program