summaryrefslogtreecommitdiff
path: root/doc/mpls/.gitignore
diff options
context:
space:
mode:
authorJorge Boncompte [DTI2] <jorge@dti2.net>2012-05-07 16:53:13 +0000
committerDavid Lamparter <equinox@opensourcerouting.org>2012-05-22 20:35:51 +0200
commit64018324d5e5071eea3b3f72f939d91dc7aef029 (patch)
treefaa7378fe45c6a11cf5198ba182f9bf54f3022f5 /doc/mpls/.gitignore
parent41af338ecd56b9891d996f0fc850e02318b0c01a (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