]> rtime.felk.cvut.cz Git - novaboot.git/commit
Rename novabot-server to novaboot-shell
authorMichal Sojka <sojkam1@fel.cvut.cz>
Fri, 25 Aug 2017 05:17:24 +0000 (07:17 +0200)
committerMichal Sojka <sojkam1@fel.cvut.cz>
Fri, 25 Aug 2017 06:00:55 +0000 (08:00 +0200)
commit4ff2194de92b4e9edd5d662fe14d6f59b79bafe0
treed6d1c8eb9ff46f861ae92c570d3227a740c5682d
parentfd8f5b58b85957e67b2e0897e099866002a8a91c
Rename novabot-server to novaboot-shell
server/novaboot-shell [moved from server/novaboot-server with 91% similarity]
tests/server.wv