diff options
| author | Joseph Hunkeler <jhunkeler@users.noreply.github.com> | 2024-10-08 12:39:52 -0400 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2024-10-08 12:39:52 -0400 |
| commit | 51b047ed8091aa02ae3e4f651f9e3e6ee258e79a (patch) | |
| tree | fdfbcdbe1998223a91a623efe1a2f93d80861b1f /include/github.h | |
| parent | dbc408f22dbe40ea778b60a20ebf8ce261dd9235 (diff) | |
| parent | bf6aa580a551ce3ea4c5b4805f5a1510c609a6bd (diff) | |
| download | stasis-51b047ed8091aa02ae3e4f651f9e3e6ee258e79a.tar.gz | |
Merge pull request #57 from jhunkeler/per-mission-base-env
Fix doxygen file marker
Diffstat (limited to 'include/github.h')
| -rw-r--r-- | include/github.h | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/include/github.h b/include/github.h index cebeabf..f9b47a3 100644 --- a/include/github.h +++ b/include/github.h @@ -1,3 +1,4 @@ +//! @file github.h #ifndef STASIS_GITHUB_H #define STASIS_GITHUB_H |