Rename web_extensions to web-extensions
-rw-r--r-- 76 .clang-format
-rw-r--r-- 34 .gitignore
-rw-r--r-- 1217 LICENSE
-rw-r--r-- 1997 Makefile
-rw-r--r-- 3381 README
-rw-r--r-- 299 chorizo.desktop
-rw-r--r-- 256 chorizo.ini
drwxr-xr-x - extensions
drwxr-xr-x - man
drwxr-xr-x - src
drwxr-xr-x - user-scripts