Added new build and setup scripts to improve contributor experience

nergmada / planning-wiki

By the community, for everyone. Planning.wiki is the online guide to AI Planning

https://planning.wiki

70 stars 21 forks source link

Closed nergmada closed 4 years ago