Rename rpm and Debian makefile targets 23/3723/1
[ric-plt/sdl.git] / ci /
drwxr-xr-x   ..
-rw-r--r-- 1697 Dockerfile
-rwxr-xr-x 247 publish.sh