diff options
author | Tor Andersson <tor.andersson@artifex.com> | 2011-04-19 23:49:56 +0200 |
---|---|---|
committer | Tor Andersson <tor.andersson@artifex.com> | 2011-04-19 23:49:56 +0200 |
commit | 781969994b5381ba4bed03beef217f9bde6e7c58 (patch) | |
tree | aede27c7532f0fbe82f03dc0c04c9316be510fd5 /pl/plplatf.h | |
parent | 0b17959f31afe3baffbc328e7f92e88e634ad8b8 (diff) |
Indent with spaces and strip trailing whitespace.
Diffstat (limited to 'pl/plplatf.h')
-rw-r--r-- | pl/plplatf.h | 2 |
1 files changed, 0 insertions, 2 deletions
diff --git a/pl/plplatf.h b/pl/plplatf.h index f218eeadf..703a213a0 100644 --- a/pl/plplatf.h +++ b/pl/plplatf.h @@ -23,10 +23,8 @@ pl_platform_init(FILE *debug_out); void pl_platform_dnit(int exit_status); - /*----- The following is declared here, but must be implemented by client ----*/ /* Terminate execution */ void pl_exit(int exit_status); #endif /* plplatf_INCLUDED */ - |