Age | Commit message (Expand) | Author |
---|---|---|
2013-08-05 | Add `dir' to EXTRA_DIST | Diogo F. S. Ramos |
2010-12-20 | Latest updates before 0.1 | Jose Antonio Ortega Ruiz |
2010-11-06 | Manual nits | Jose Antonio Ortega Ruiz |
2010-10-31 | Documented thanks | Jose Antonio Ortega Ruiz |
2010-10-16 | Manual: cheat sheet | Jose Antonio Ortega Ruiz |
2010-06-29 | Web pages sync'd | Jose Antonio Ortega Ruiz |
2010-06-27 | A new tutorial bit | Jose Antonio Ortega Ruiz |
2010-06-26 | Separate main texi file for web site. | Jose Antonio Ortega Ruiz |
2010-06-22 | Engaging texi files in some autotooling. | Jose Antonio Ortega Ruiz |