diff options
| author | Jorge Boncompte [DTI2] <jorge@dti2.net> | 2012-05-07 16:53:13 +0000 |
|---|---|---|
| committer | David Lamparter <equinox@opensourcerouting.org> | 2012-05-22 20:35:51 +0200 |
| commit | 64018324d5e5071eea3b3f72f939d91dc7aef029 (patch) | |
| tree | faa7378fe45c6a11cf5198ba182f9bf54f3022f5 /doc/mpls/.gitignore | |
| parent | 41af338ecd56b9891d996f0fc850e02318b0c01a (diff) | |
lib: micro-op for thread_get()
thread_trim_head() already checks that the list is not empty.
Signed-off-by: Jorge Boncompte [DTI2] <jorge@dti2.net>
Signed-off-by: David Lamparter <equinox@opensourcerouting.org>
Diffstat (limited to 'doc/mpls/.gitignore')
0 files changed, 0 insertions, 0 deletions