android activity menu option asked Aug 10, 2011 at 13:03

memory valgrind memory-leaks dump asked Sep 30, 2012 at 17:18

grammaire expressions usage prepositions de asked Sep 10, 2018 at 10:33

licensing history git asked Oct 30, 2018 at 10:36

fonts plain-tex characters linguistics alphabet asked May 28, 2011 at 11:04