Module: xenomai-forge
Branch: next
Commit: e76804436e72a5a4712152780493359fbfb852a4
URL:    
http://git.xenomai.org/?p=xenomai-forge.git;a=commit;h=e76804436e72a5a4712152780493359fbfb852a4

Author: Philippe Gerum <r...@xenomai.org>
Date:   Wed Jun 11 12:11:39 2014 +0200

doc: drop nodist/ section

Those documents have been converted to asciidoc, and will be available
from the web site.

---

 doc/nodist/pdf/Life-with-Adeos-rev-B.pdf |34334 -------------------
 doc/nodist/pdf/Native-API-Tour-rev-C.pdf |52867 ------------------------------
 doc/nodist/pdf/RTDM-and-Applications.pdf |  Bin 152190 -> 0 bytes
 3 files changed, 87201 deletions(-)

Diff:   
http://git.xenomai.org/?p=xenomai-forge.git;a=commitdiff;h=e76804436e72a5a4712152780493359fbfb852a4

_______________________________________________
Xenomai-git mailing list
Xenomai-git@xenomai.org
http://www.xenomai.org/mailman/listinfo/xenomai-git

Reply via email to