search

ContentMine / workshop-resources

This repository contains material helping you to set up a ContentMine workshop. It also includes tutorials for learning the ContentMine tools on your own.
Other
37 stars 13 forks source link

differentiate between our shell commands and common ones #19

Closed skasberger closed 8 years ago

skasberger commented 8 years ago

tree is ours, all others are common commands, right? we should clarify this in the tutorials.

skasberger commented 8 years ago

describe tree command!

blahah commented 8 years ago

tree is a gnu program, not ours.