devtools: ignore non merged tags for backport
[dpdk.git] / doc /
drwxr-xr-x   ..
drwxr-xr-x - api
-rw-r--r-- 1287 build-sdk-quick.txt
drwxr-xr-x - guides
drwxr-xr-x - logo