projects / www.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: ae7d747) | patch
removed useless file
authorJean-Philippe Orsini <jeanfi@gmail.com>
Mon, 11 Jul 2016 13:18:30 +0000 (15:18 +0200)
committerJean-Philippe Orsini <jeanfi@gmail.com>
Mon, 11 Jul 2016 13:18:30 +0000 (15:18 +0200)
commit38a24c5df0596a9138710ad8f2454a145253de27
treecc48360548ca38bd767fcebdf596f036e8b428fatree | snapshot
parentae7d7479e9e5d4133f4d44a941a5b565d8a9c10dcommit | diff
removed useless file
src/news/docinfo.html [deleted file] blob | history
Unnamed repository; edit this file 'description' to name the repository.