diff options
| author | notin | 2008-01-10 18:29:05 +0000 |
|---|---|---|
| committer | notin | 2008-01-10 18:29:05 +0000 |
| commit | cf0fb3424c3256299fa6c39aa5fd10da67d94451 (patch) | |
| tree | 2c19e1af3660d970aa44e0a305e5af096a0a45a9 /dev/ocamlweb-doc/Makefile | |
| parent | b21556f644ebe675853398a3e989c3b3b5edb371 (diff) | |
Correction du bug #1770: il semble que la recherche insensible à la casse ne soit pas implantée (cf backward-search et forward-search dans GText.iter et Gtk.Tags.text_search_flag)
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@10435 85f007b7-540e-0410-9357-904b9bb8a0f7
Diffstat (limited to 'dev/ocamlweb-doc/Makefile')
0 files changed, 0 insertions, 0 deletions