Carlos Soriano e71b0a57fb remove shell-slicer ...

In last commit we remove the only use of shell-slicer, so we can remove
this as well

2015-02-20 15:14:44 +01:00

..

reference

remove shell-slicer

2015-02-20 15:14:44 +01:00

Makefile.am

docs: Allow building API documentation

2011-10-20 22:48:44 +02:00