David Knott 70b5ffd928 Change killable to destructible and kill to destroy

2017-04-07 11:34:35 -06:00

..

source

Change killable to destructible and kill to destroy

2017-04-07 11:34:35 -06:00

Makefile

building docs

2016-12-19 11:56:34 -03:00