diff options
author | Herbert Valerio Riedel <hvr@gnu.org> | 2016-01-31 10:51:58 +0100 |
---|---|---|
committer | Herbert Valerio Riedel <hvr@gnu.org> | 2016-01-31 10:51:58 +0100 |
commit | 72774b031084e5260cf0c0df5239ed63d136ba6c (patch) | |
tree | e5a97f9f80cae702c8fa714a83f9f39b9429123b /include | |
parent | 2796361516ebf60825189018cea24d2c5c24ea34 (diff) |
Use more direct CApiFFI for pPrPr_disableITimers
Diffstat (limited to 'include')
-rw-r--r-- | include/execvpe.h | 3 |
1 files changed, 0 insertions, 3 deletions
diff --git a/include/execvpe.h b/include/execvpe.h index 63cd042..8db9495 100644 --- a/include/execvpe.h +++ b/include/execvpe.h @@ -22,7 +22,4 @@ execvpe(const char *name, char *const argv[], char *const envp[]); #endif #endif -// implemented in cbits/ghcrts.c -extern void pPrPr_disableITimers (void); - #endif |