From 917375f1a9528ab5b44c644d1936562508bb98e9 Mon Sep 17 00:00:00 2001
From: Paul <baconpaul@users.noreply.github.com>
Date: Sun, 27 Jan 2019 10:02:58 -0500
Subject: [PATCH] Update developer.md

Add information about preferring #pragma once even though it is not really a standard.

Former-commit-id: 5ddde64d743d9b6a581a50bd6404f313800903de [formerly 2e5017efeb2040606661c98770f39f55c3781065]
Former-commit-id: 76a48f3b4c0804545b70fec758a89532a9bc49a2
Former-commit-id: 4b584cd875a98a05fc77a9a54667f957c57f8a2b
---
 doc/developer.md | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/doc/developer.md b/doc/developer.md
index eb1f66b6315..f1b7e64ca9b 100644
--- a/doc/developer.md
+++ b/doc/developer.md
@@ -128,4 +128,6 @@ than that, perhaps toss in a comment.
 
 Prefer `std::ostringstream` and so on to `sprintf` and so on.
 
+`#pragma once`, while not [really standard](https://en.wikipedia.org/wiki/Pragma_once), is used in 
+most of the code, so we are continuing to use it rather than ifdef guards.