diff options
| author | José Fonseca <jfonseca@vmware.com> | 2013-03-27 11:10:37 +0000 |
|---|---|---|
| committer | José Fonseca <jfonseca@vmware.com> | 2013-03-27 11:10:37 +0000 |
| commit | 6bb028d7223347f167c2a4e16f8bb0028c95ffe9 (patch) | |
| tree | 1dba5a0acb896e2ec85e4a28131340c7daa4ec91 /helpers | |
| parent | 04b70cf9a1c8295dfc357947d3895f19c7f8bac9 (diff) | |
Add per-directory synopsis.
Diffstat (limited to 'helpers')
| -rw-r--r-- | helpers/README.markdown | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/helpers/README.markdown b/helpers/README.markdown new file mode 100644 index 00000000..2f30baab --- /dev/null +++ b/helpers/README.markdown @@ -0,0 +1,5 @@ +This directory contains several headers with inline functions that are referred +in the specs for determining array/sizes. + +These are used both when tracing and replaying so care must be taken not to +make any assumptions. |