Mirrors_Framework/paparazzi
1
0
Fork 0
mirror of https://github.com/paparazzi/paparazzi.git synced 2026-05-09 22:49:53 +08:00
Code Issues Actions 27 Packages Projects Releases Wiki Activity

added some stuff to gitignore file

Browse Source
This commit is contained in:
Felix Ruess
2010-09-21 22:14:13 +00:00
parent 8b1cacd2ad
commit d5049ff09f
1 changed files with 6 additions and 0 deletions
Download Patch File Download Diff File Expand all files Collapse all files
.gitignore
+6
View File
@@ -12,6 +12,8 @@
*.depend
*.aux
/var
/dox
@@ -22,6 +24,9 @@
/conf/control_panel.xml
/conf/%gconf.xml
# /doc/pprz_algebra/
/doc/pprz_algebra/headfile.log
/doc/pprz_algebra/headfile.toc
# /sw/ground_segment/cockpit/
/sw/ground_segment/cockpit/gtk_save_settings.ml
@@ -54,6 +59,7 @@
/sw/lib/ocaml/gtk_papget_editor.ml
/sw/lib/ocaml/gtk_papget_text_editor.ml
/sw/lib/ocaml/gtk_papget_gauge_editor.ml
/sw/lib/ocaml/expr_lexer.ml
/sw/lib/ocaml/expr_parser.ml
/sw/lib/ocaml/expr_parser.mli
/sw/lib/ocaml/gtk_papget_led_editor.ml