diff options
| author | Jorge Aparicio <jorge@japaric.io> | 2017-04-25 21:51:07 -0500 |
|---|---|---|
| committer | Jorge Aparicio <jorge@japaric.io> | 2017-04-25 21:51:07 -0500 |
| commit | 404dde6f2a2a37a45d9bd46f3b6b9d5756cfe48f (patch) | |
| tree | ae3d29dd08a01e0482ea1859614d7738b220dea3 /ci | |
| parent | 840c32060bcf3127dab77c321c3c63ebffabcee9 (diff) | |
rename `rtfm::critical` to `rtfm::atomic`, touch up the documentation
Diffstat (limited to 'ci')
0 files changed, 0 insertions, 0 deletions