diff options
| author | Samuel Thibault <samuel.thibault@ens-lyon.org> | 2015-02-18 00:58:20 +0100 |
|---|---|---|
| committer | Samuel Thibault <samuel.thibault@ens-lyon.org> | 2015-02-18 00:58:20 +0100 |
| commit | 17785b5ad257242f19936d74a5433e6330d2ca34 (patch) | |
| tree | 625003f44140a901634a8fea92e90cf642d97fcc /community/gsoc/project_ideas/namespace-based_translator_selection | |
| parent | d1ff621c0f2b33eb9ded9365b686602cf46fecd6 (diff) | |
| download | web-17785b5ad257242f19936d74a5433e6330d2ca34.tar.gz web-17785b5ad257242f19936d74a5433e6330d2ca34.tar.bz2 web-17785b5ad257242f19936d74a5433e6330d2ca34.zip | |
Revert "update for rename of open_issues/formal_verification.mdwn to service_solahart_jakarta_selatan__082122541663/formal_verification.mdwn"
This reverts commit d23d230483c9bda618fa14e490b70456cf08eca1.
Diffstat (limited to 'community/gsoc/project_ideas/namespace-based_translator_selection')
0 files changed, 0 insertions, 0 deletions