L.S., Dave and I decided to start a project on GitHub [*] for our summer project i.e. Website re-implementation. Any suggestions as to the codename?
Regards, SinDoc [*] Is it alright if we commit to another repository or is it better to use the DocBook repository? --------------------------------------------------------------------- To unsubscribe, e-mail: docbook-unsubscr...@lists.oasis-open.org For additional commands, e-mail: docbook-h...@lists.oasis-open.org