diff options
| author | Bruce Momjian | 1998-09-01 04:40:42 +0000 |
|---|---|---|
| committer | Bruce Momjian | 1998-09-01 04:40:42 +0000 |
| commit | fa1a8d6a97068295fe30ac646aec7493a6305bc2 (patch) | |
| tree | 645f7cef3c78fbab4d6d7bbc7c9a61ad2893d273 /src/include/commands/user.h | |
| parent | af74855a608da4cd7ef88ceb2241ec1c75537f39 (diff) | |
OK, folks, here is the pgindent output.
Diffstat (limited to 'src/include/commands/user.h')
| -rw-r--r-- | src/include/commands/user.h | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/include/commands/user.h b/src/include/commands/user.h index d75478403db..a81c6617e82 100644 --- a/src/include/commands/user.h +++ b/src/include/commands/user.h @@ -14,4 +14,4 @@ extern void DefineUser(CreateUserStmt *stmt); extern void AlterUser(AlterUserStmt *stmt); extern void RemoveUser(char *user); -#endif /* USER_H */ +#endif /* USER_H */ |