# # ChangeLog for branches/PublicaMundi_David-devel/docs/kernel/install-debian.txt # # Generated by Trac 1.0.4 # Jun 3, 2024, 11:36:46 AM Mon, 06 Oct 2014 07:27:23 GMT david [506] * branches/PublicaMundi_David-devel (copied) -add publica mundi branch devel Fri, 21 Jun 2013 16:55:49 GMT djay [414] * trunk/docs/kernel/install-debian.txt (modified) Small fix in the package name which cause trouble. Thank to István ...