diff options
Diffstat (limited to 'dev/tsunami.cc')
| -rw-r--r-- | dev/tsunami.cc | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/dev/tsunami.cc b/dev/tsunami.cc index d4398191b..2f8d9b804 100644 --- a/dev/tsunami.cc +++ b/dev/tsunami.cc @@ -26,6 +26,9 @@ * OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE. */ +/** @file Implementation of Tsunami platform. + */ + #include <deque> #include <string> #include <vector> |